%0 Conference Paper %1 conf/fm/BarringerFHRR12 %A Barringer, Howard %A Falcone, Yliès %A Havelund, Klaus %A Reger, Giles %A Rydeheard, David E. %B FM %D 2012 %E Giannakopoulou, Dimitra %E Méry, Dominique %I Springer %K %P 68-84 %T Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors. %U http://dblp.uni-trier.de/db/conf/fm/fm2012.html#BarringerFHRR12 %V 7436 %@ 978-3-642-32758-2

@inproceedings{conf/fm/BarringerFHRR12, added-at = {2023-12-14T14:12:28.000+0100}, author = {Barringer, Howard and Falcone, Yliès and Havelund, Klaus and Reger, Giles and Rydeheard, David E.}, biburl = {https://www.bibsonomy.org/bibtex/292b766c28f6e57c24f92c11190e1824b/admin}, booktitle = {FM}, crossref = {conf/fm/2012}, editor = {Giannakopoulou, Dimitra and Méry, Dominique}, ee = {https://doi.org/10.1007/978-3-642-32759-9_9}, interhash = {dd9b0d5cde0f44ddd1c850a3a7a07fae}, intrahash = {92b766c28f6e57c24f92c11190e1824b}, isbn = {978-3-642-32758-2}, keywords = {}, pages = {68-84}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-14T14:12:28.000+0100}, title = {Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors.}, url = {http://dblp.uni-trier.de/db/conf/fm/fm2012.html#BarringerFHRR12}, volume = 7436, year = 2012 }