%0 Conference Paper %1 conf/isola/BohlenderBJKNN14 %A Bohlender, Dimitri %A Bruintjes, Harold %A Junges, Sebastian %A Katelaan, Jens %A Nguyen, Viet Yen %A Noll, Thomas %B ISoLA (2) %D 2014 %E Margaria, Tiziana %E Steffen, Bernhard %I Springer %K dblp %P 177-192 %T A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models. %U http://dblp.uni-trier.de/db/conf/isola/isola2014-2.html#BohlenderBJKNN14 %V 8803 %@ 978-3-662-45230-1

@inproceedings{conf/isola/BohlenderBJKNN14, added-at = {2020-01-08T00:00:00.000+0100}, author = {Bohlender, Dimitri and Bruintjes, Harold and Junges, Sebastian and Katelaan, Jens and Nguyen, Viet Yen and Noll, Thomas}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a9da575f428b542b2ffed488fb3417f3/dblp}, booktitle = {ISoLA (2)}, crossref = {conf/isola/2014-2}, editor = {Margaria, Tiziana and Steffen, Bernhard}, ee = {https://doi.org/10.1007/978-3-662-45231-8_13}, interhash = {e0b33eb92600dad4afd11c60c289740a}, intrahash = {a9da575f428b542b2ffed488fb3417f3}, isbn = {978-3-662-45230-1}, keywords = {dblp}, pages = {177-192}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-01-09T08:16:30.000+0100}, title = {A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models.}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2014-2.html#BohlenderBJKNN14}, volume = 8803, year = 2014 }