%0 Conference Paper %1 conf/sas/ChatterjeeHO16 %A Chatterjee, Krishnendu %A Henzinger, Thomas A. %A Otop, Jan %B SAS %D 2016 %E Rival, Xavier %I Springer %K dblp %P 23-38 %T Quantitative Monitor Automata. %U http://dblp.uni-trier.de/db/conf/sas/sas2016.html#ChatterjeeHO16 %V 9837 %@ 978-3-662-53412-0

@inproceedings{conf/sas/ChatterjeeHO16, added-at = {2019-09-16T00:00:00.000+0200}, author = {Chatterjee, Krishnendu and Henzinger, Thomas A. and Otop, Jan}, biburl = {https://www.bibsonomy.org/bibtex/273f85004bda92aa23ae80dcac0f92dd1/dblp}, booktitle = {SAS}, crossref = {conf/sas/2016}, editor = {Rival, Xavier}, ee = {https://doi.org/10.1007/978-3-662-53413-7_2}, interhash = {111eb1c67006799e70747c6995c68ff3}, intrahash = {73f85004bda92aa23ae80dcac0f92dd1}, isbn = {978-3-662-53412-0}, keywords = {dblp}, pages = {23-38}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-17T13:21:20.000+0200}, title = {Quantitative Monitor Automata.}, url = {http://dblp.uni-trier.de/db/conf/sas/sas2016.html#ChatterjeeHO16}, volume = 9837, year = 2016 }