%0 Conference Paper %1 conf/isola/BartocciF18 %A Bartocci, Ezio %A Falcone, Yliès %B ISoLA (4) %D 2018 %E Margaria, Tiziana %E Steffen, Bernhard %I Springer %K dblp %P 3-8 %T RV-TheToP: Runtime Verification from Theory to the Industry Practice (Track Introduction). %U http://dblp.uni-trier.de/db/conf/isola/isola2018-4.html#BartocciF18 %V 11247 %@ 978-3-030-03427-6

@inproceedings{conf/isola/BartocciF18, added-at = {2019-09-25T00:00:00.000+0200}, author = {Bartocci, Ezio and Falcone, Yliès}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/249008c1828216c705a7918fd1fae6d56/dblp}, booktitle = {ISoLA (4)}, crossref = {conf/isola/2018-4}, editor = {Margaria, Tiziana and Steffen, Bernhard}, ee = {https://doi.org/10.1007/978-3-030-03427-6_1}, interhash = {a7854f61de5eb8a4179e56198ca76410}, intrahash = {49008c1828216c705a7918fd1fae6d56}, isbn = {978-3-030-03427-6}, keywords = {dblp}, pages = {3-8}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T13:48:21.000+0200}, title = {RV-TheToP: Runtime Verification from Theory to the Industry Practice (Track Introduction).}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2018-4.html#BartocciF18}, volume = 11247, year = 2018 }