%0 Conference Paper %1 conf/rv/DaianGHLPSSR16 %A Daian, Philip %A Guth, Dwight %A Hathhorn, Chris %A Li, Yilong %A Pek, Edgar %A Saxena, Manasvi %A Serbanuta, Traian-Florin %A Rosu, Grigore %B RV %D 2016 %E Falcone, Yliès %E Sánchez, César %I Springer %K dblp %P 46-67 %T Runtime Verification at Work: A Tutorial. %U http://dblp.uni-trier.de/db/conf/rv/rv2016.html#DaianGHLPSSR16 %V 10012 %@ 978-3-319-46981-2

@inproceedings{conf/rv/DaianGHLPSSR16, added-at = {2023-06-26T00:00:00.000+0200}, author = {Daian, Philip and Guth, Dwight and Hathhorn, Chris and Li, Yilong and Pek, Edgar and Saxena, Manasvi and Serbanuta, Traian-Florin and Rosu, Grigore}, biburl = {https://www.bibsonomy.org/bibtex/22933ece63579c402c1a1030937c8e898/dblp}, booktitle = {RV}, crossref = {conf/rv/2016}, editor = {Falcone, Yliès and Sánchez, César}, ee = {https://doi.org/10.1007/978-3-319-46982-9_5}, interhash = {1c998456eba54cb18f9e0a2fcdacb62f}, intrahash = {2933ece63579c402c1a1030937c8e898}, isbn = {978-3-319-46981-2}, keywords = {dblp}, pages = {46-67}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T16:55:50.000+0200}, title = {Runtime Verification at Work: A Tutorial.}, url = {http://dblp.uni-trier.de/db/conf/rv/rv2016.html#DaianGHLPSSR16}, volume = 10012, year = 2016 }