%0 Conference Paper %1 conf/rv/KyleHC15 %A Kyle, David %A Hansen, Jeffery P. %A Chaki, Sagar %B RV %D 2015 %E Bartocci, Ezio %E Majumdar, Rupak %I Springer %K dblp %P 269-274 %T Statistical Model Checking of Distributed Adaptive Real-Time Software. %U http://dblp.uni-trier.de/db/conf/rv/rv2015.html#KyleHC15 %V 9333 %@ 978-3-319-23819-7

@inproceedings{conf/rv/KyleHC15, added-at = {2017-05-17T00:00:00.000+0200}, author = {Kyle, David and Hansen, Jeffery P. and Chaki, Sagar}, biburl = {https://www.bibsonomy.org/bibtex/212e050ecaeb4f7e4c912a27c41b723a1/dblp}, booktitle = {RV}, crossref = {conf/rv/2015}, editor = {Bartocci, Ezio and Majumdar, Rupak}, ee = {https://doi.org/10.1007/978-3-319-23820-3_17}, interhash = {baf91154a480b6773c07c4ba408dc529}, intrahash = {12e050ecaeb4f7e4c912a27c41b723a1}, isbn = {978-3-319-23819-7}, keywords = {dblp}, pages = {269-274}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:15:37.000+0200}, title = {Statistical Model Checking of Distributed Adaptive Real-Time Software.}, url = {http://dblp.uni-trier.de/db/conf/rv/rv2015.html#KyleHC15}, volume = 9333, year = 2015 }