%0 Conference Paper %1 conf/rv/FinkbeinerHST17 %A Finkbeiner, Bernd %A Hahn, Christopher %A Stenger, Marvin %A Tentrup, Leander %B RV %D 2017 %E Lahiri, Shuvendu K. %E Reger, Giles %I Springer %K dblp %P 190-207 %T Monitoring Hyperproperties. %U http://dblp.uni-trier.de/db/conf/rv/rv2017.html#FinkbeinerHST17 %V 10548 %@ 978-3-319-67531-2

@inproceedings{conf/rv/FinkbeinerHST17, added-at = {2017-09-06T00:00:00.000+0200}, author = {Finkbeiner, Bernd and Hahn, Christopher and Stenger, Marvin and Tentrup, Leander}, biburl = {https://www.bibsonomy.org/bibtex/277dc03c70cb5691880192e8dd3d0f82b/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_12}, interhash = {da24c4a6b300795c2ca465a26a881f8f}, intrahash = {77dc03c70cb5691880192e8dd3d0f82b}, isbn = {978-3-319-67531-2}, keywords = {dblp}, pages = {190-207}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:15:25.000+0200}, title = {Monitoring Hyperproperties.}, url = {http://dblp.uni-trier.de/db/conf/rv/rv2017.html#FinkbeinerHST17}, volume = 10548, year = 2017 }