%0 Conference Paper %1 conf/rv/ColomboFLRSSS18 %A Colombo, Christian %A Falcone, Yliès %A Leucker, Martin %A Reger, Giles %A Sánchez, César %A Schneider, Gerardo %A Stolz, Volker %B RV %D 2018 %E Colombo, Christian %E Leucker, Martin %I Springer %K %P 18-26 %T COST Action IC1402 Runtime Verification Beyond Monitoring. %U http://dblp.uni-trier.de/db/conf/rv/rv2018.html#ColomboFLRSSS18 %V 11237 %@ 978-3-030-03769-7

@inproceedings{conf/rv/ColomboFLRSSS18, added-at = {2023-12-12T19:01:38.000+0100}, author = {Colombo, Christian and Falcone, Yliès and Leucker, Martin and Reger, Giles and Sánchez, César and Schneider, Gerardo and Stolz, Volker}, biburl = {https://www.bibsonomy.org/bibtex/24b419c0b762302c58585aba45233d9fd/admin}, booktitle = {RV}, crossref = {conf/rv/2018}, editor = {Colombo, Christian and Leucker, Martin}, ee = {https://doi.org/10.1007/978-3-030-03769-7_2}, interhash = {1aaccbe3949463b1005e285c7ed6b8f6}, intrahash = {4b419c0b762302c58585aba45233d9fd}, isbn = {978-3-030-03769-7}, keywords = {}, pages = {18-26}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T19:01:38.000+0100}, title = {COST Action IC1402 Runtime Verification Beyond Monitoring.}, url = {http://dblp.uni-trier.de/db/conf/rv/rv2018.html#ColomboFLRSSS18}, volume = 11237, year = 2018 }