BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @article{TUW-282740, author = {Bartocci, Ezio and Falcone, Ylies and Bonakdarpour, Borzoo and Colombo, Christian and Decker, Normann and Havelund, Klaus and Joshi, Yogi and Felix, Klaedtke and others}, title = {First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014}, journal = {International Journal on Software Tools for Technology Transfer}, year = {2019}, volume = {21}, number = {1}, pages = {31--70}, url = {https://publik.tuwien.ac.at/files/publik_282740.pdf}, doi = {10.1007/s10009-017-0454-5} } @comment { WARNING: In the original publication record, the list of names in the field 'author' contains the addition 'et al.'! } 1 Datensatz ausgegeben