%0 Conference Paper %1 conf/isola/GrosuPRSSY14 %A Grosu, Radu %A Peled, Doron A. %A Ramakrishnan, C. R. %A Smolka, Scott A. %A Stoller, Scott D. %A Yang, Junxing %B ISoLA (2) %D 2014 %E Margaria, Tiziana %E Steffen, Bernhard %I Springer %K dblp %P 223-238 %T Using Statistical Model Checking for Measuring Systems. %U http://dblp.uni-trier.de/db/conf/isola/isola2014-2.html#GrosuPRSSY14 %V 8803 %@ 978-3-662-45230-1

@inproceedings{conf/isola/GrosuPRSSY14, added-at = {2023-04-03T00:00:00.000+0200}, author = {Grosu, Radu and Peled, Doron A. and Ramakrishnan, C. R. and Smolka, Scott A. and Stoller, Scott D. and Yang, Junxing}, biburl = {https://www.bibsonomy.org/bibtex/25da870f892704a34aac9513e28c2e7e5/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_16}, interhash = {322f3fbb3041641cac2311eb8f99c6b2}, intrahash = {5da870f892704a34aac9513e28c2e7e5}, isbn = {978-3-662-45230-1}, keywords = {dblp}, pages = {223-238}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T09:51:33.000+0200}, title = {Using Statistical Model Checking for Measuring Systems.}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2014-2.html#GrosuPRSSY14}, volume = 8803, year = 2014 }