%0 Conference Paper %1 conf/rv/ShafieiHM20 %A Shafiei, Nastaran %A Havelund, Klaus %A Mehlitz, Peter C. %B RV %D 2020 %E Deshmukh, Jyotirmoy %E Nickovic, Dejan %I Springer %K dblp %P 221-240 %T Actor-Based Runtime Verification with MESA. %U http://dblp.uni-trier.de/db/conf/rv/rv2020.html#ShafieiHM20 %V 12399 %@ 978-3-030-60508-7

@inproceedings{conf/rv/ShafieiHM20, added-at = {2020-10-09T00:00:00.000+0200}, author = {Shafiei, Nastaran and Havelund, Klaus and Mehlitz, Peter C.}, biburl = {https://www.bibsonomy.org/bibtex/2407cf9855af8cb3f955c8f813c20226b/dblp}, booktitle = {RV}, crossref = {conf/rv/2020}, editor = {Deshmukh, Jyotirmoy and Nickovic, Dejan}, ee = {https://doi.org/10.1007/978-3-030-60508-7_12}, interhash = {9c6c10887db7d770105697bcae752425}, intrahash = {407cf9855af8cb3f955c8f813c20226b}, isbn = {978-3-030-60508-7}, keywords = {dblp}, pages = {221-240}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-10-10T11:35:28.000+0200}, title = {Actor-Based Runtime Verification with MESA.}, url = {http://dblp.uni-trier.de/db/conf/rv/rv2020.html#ShafieiHM20}, volume = 12399, year = 2020 }