%0 Conference Paper %1 conf/isola/AroraR16 %A Arora, Shiraj %A Rao, M. V. Panduranga %B ISoLA (1) %D 2016 %E Margaria, Tiziana %E Steffen, Bernhard %K dblp %P 62-76 %T Probabilistic Model Checking of Incomplete Models. %U http://dblp.uni-trier.de/db/conf/isola/isola2016-1.html#AroraR16 %V 9952 %@ 978-3-319-47165-5

@inproceedings{conf/isola/AroraR16, added-at = {2017-05-23T00:00:00.000+0200}, author = {Arora, Shiraj and Rao, M. V. Panduranga}, biburl = {https://www.bibsonomy.org/bibtex/2388f800f7d2fbb64ee3f507cc9de4add/dblp}, booktitle = {ISoLA (1)}, crossref = {conf/isola/2016-1}, editor = {Margaria, Tiziana and Steffen, Bernhard}, ee = {https://doi.org/10.1007/978-3-319-47166-2_5}, interhash = {c9134655add8c6abbd61ca202c2a73b7}, intrahash = {388f800f7d2fbb64ee3f507cc9de4add}, isbn = {978-3-319-47165-5}, keywords = {dblp}, pages = {62-76}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:43:15.000+0200}, title = {Probabilistic Model Checking of Incomplete Models.}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2016-1.html#AroraR16}, volume = 9952, year = 2016 }