%0 Conference Paper %1 conf/rv/KejstovaRB17 %A Kejstová, Katarína %A Rockai, Petr %A Barnat, Jiri %B RV %D 2017 %E Lahiri, Shuvendu K. %E Reger, Giles %I Springer %K dblp %P 225-240 %T From Model Checking to Runtime Verification and Back. %U http://dblp.uni-trier.de/db/conf/rv/rv2017.html#KejstovaRB17 %V 10548 %@ 978-3-319-67531-2

@inproceedings{conf/rv/KejstovaRB17, added-at = {2017-09-06T00:00:00.000+0200}, author = {Kejstová, Katarína and Rockai, Petr and Barnat, Jiri}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/22ae6ab187cecba0921eea405d82749a6/dblp}, booktitle = {RV}, crossref = {conf/rv/2017}, editor = {Lahiri, Shuvendu K. and Reger, Giles}, ee = {https://doi.org/10.1007/978-3-319-67531-2_14}, interhash = {f2ef01c0c6eaf487f480badfd6c2eb50}, intrahash = {2ae6ab187cecba0921eea405d82749a6}, isbn = {978-3-319-67531-2}, keywords = {dblp}, pages = {225-240}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T15:01:42.000+0200}, title = {From Model Checking to Runtime Verification and Back.}, url = {http://dblp.uni-trier.de/db/conf/rv/rv2017.html#KejstovaRB17}, volume = 10548, year = 2017 }