%0 Journal Article %1 journals/sttt/BartocciFBCDHJK19 %A Bartocci, Ezio %A Falcone, Yliès %A Bonakdarpour, Borzoo %A Colombo, Christian %A Decker, Normann %A Havelund, Klaus %A Joshi, Yogi %A Klaedtke, Felix %A Milewicz, Reed %A Reger, Giles %A Rosu, Grigore %A Signoles, Julien %A Thoma, Daniel %A Zalinescu, Eugen %A Zhang, Yi %D 2019 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 1 %P 31-70 %T First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. %U http://dblp.uni-trier.de/db/journals/sttt/sttt21.html#BartocciFBCDHJK19 %V 21

@article{journals/sttt/BartocciFBCDHJK19, added-at = {2024-05-07T00:00:00.000+0200}, author = {Bartocci, Ezio and Falcone, Yliès and Bonakdarpour, Borzoo and Colombo, Christian and Decker, Normann and Havelund, Klaus and Joshi, Yogi and Klaedtke, Felix and Milewicz, Reed and Reger, Giles and Rosu, Grigore and Signoles, Julien and Thoma, Daniel and Zalinescu, Eugen and Zhang, Yi}, biburl = {https://www.bibsonomy.org/bibtex/26564ad5d57ea0dae60712f93e18cab60/dblp}, ee = {https://www.wikidata.org/entity/Q58105373}, interhash = {b0abf42467c26bd2154d4179eecc53e5}, intrahash = {6564ad5d57ea0dae60712f93e18cab60}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, number = 1, pages = {31-70}, timestamp = {2024-05-13T07:28:41.000+0200}, title = {First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt21.html#BartocciFBCDHJK19}, volume = 21, year = 2019 }