@inproceedings{a5b31dfcc5994013af9232d136c75596,
title = "Observation Strategies for Event Detection with Incidence on Runtime Verification",
keywords = "Event detection, Observation strategies, runtime verification",
author = "Marco Alberti",
year = "2010",
month = jan,
day = "1",
language = "Unknown",
volume = "616",
pages = "none",
editor = "M Gavanelli and T Mancini",
booktitle = "http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/",
publisher = "CEUR Workshop Proceedings",
note = "RCRA Experimental evaluation of algorithms for solving problems with combinatorial explosion ; Conference date: 01-01-2010",
}