%0 Conference Paper %1 conf/rv/ForejtKPQU12 %A Forejt, Vojtech %A Kwiatkowska, Marta Z. %A Parker, David %A Qu, Hongyang %A Ujma, Mateusz %B RV %D 2012 %E Qadeer, Shaz %E Tasiran, Serdar %I Springer %K dblp %P 314-319 %T Incremental Runtime Verification of Probabilistic Systems. %U http://dblp.uni-trier.de/db/conf/rv/rv2012.html#ForejtKPQU12 %V 7687 %@ 978-3-642-35632-2

@inproceedings{conf/rv/ForejtKPQU12, added-at = {2017-05-17T00:00:00.000+0200}, author = {Forejt, Vojtech and Kwiatkowska, Marta Z. and Parker, David and Qu, Hongyang and Ujma, Mateusz}, biburl = {https://www.bibsonomy.org/bibtex/21d0ad1eee635f6d677864ea1a38ab6ee/dblp}, booktitle = {RV}, crossref = {conf/rv/2012}, editor = {Qadeer, Shaz and Tasiran, Serdar}, ee = {https://doi.org/10.1007/978-3-642-35632-2_30}, interhash = {3175031642967beba1924dc3f1abafe5}, intrahash = {1d0ad1eee635f6d677864ea1a38ab6ee}, isbn = {978-3-642-35632-2}, keywords = {dblp}, pages = {314-319}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:15:18.000+0200}, title = {Incremental Runtime Verification of Probabilistic Systems.}, url = {http://dblp.uni-trier.de/db/conf/rv/rv2012.html#ForejtKPQU12}, volume = 7687, year = 2012 }