%0 Conference Paper %1 conf/rv/BarringerHRG09 %A Barringer, Howard %A Havelund, Klaus %A Rydeheard, David E. %A Groce, Alex %B RV %D 2009 %E Bensalem, Saddek %E Peled, Doron A. %I Springer %K dblp %P 1-24 %T Rule Systems for Runtime Verification: A Short Tutorial. %U http://dblp.uni-trier.de/db/conf/rv/rv2009.html#BarringerHRG09 %V 5779 %@ 978-3-642-04693-3

@inproceedings{conf/rv/BarringerHRG09, added-at = {2017-05-17T00:00:00.000+0200}, author = {Barringer, Howard and Havelund, Klaus and Rydeheard, David E. and Groce, Alex}, biburl = {https://www.bibsonomy.org/bibtex/2b337f375a844defc359b3cd55eb54e13/dblp}, booktitle = {RV}, crossref = {conf/rv/2009}, editor = {Bensalem, Saddek and Peled, Doron A.}, ee = {https://doi.org/10.1007/978-3-642-04694-0_1}, interhash = {02e7dcd18de8b7bfe4402b961323fa92}, intrahash = {b337f375a844defc359b3cd55eb54e13}, isbn = {978-3-642-04693-3}, keywords = {dblp}, pages = {1-24}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:15:18.000+0200}, title = {Rule Systems for Runtime Verification: A Short Tutorial.}, url = {http://dblp.uni-trier.de/db/conf/rv/rv2009.html#BarringerHRG09}, volume = 5779, year = 2009 }