%0 Conference Paper %1 conf/nfm/Herencia-ZapanaHN11 %A Herencia-Zapana, Heber %A Hagen, George %A Narkawicz, Anthony %B NASA Formal Methods %D 2011 %E Bobaru, Mihaela Gheorghiu %E Havelund, Klaus %E Holzmann, Gerard J. %E Joshi, Rajeev %I Springer %K dblp %P 162-176 %T Formalizing Probabilistic Safety Claims. %U http://dblp.uni-trier.de/db/conf/nfm/nfm2011.html#Herencia-ZapanaHN11 %V 6617 %@ 978-3-642-20397-8

@inproceedings{conf/nfm/Herencia-ZapanaHN11, added-at = {2017-05-25T00:00:00.000+0200}, author = {Herencia-Zapana, Heber and Hagen, George and Narkawicz, Anthony}, biburl = {https://www.bibsonomy.org/bibtex/288430c1b11bdd532ea933dacf9ecceb0/dblp}, booktitle = {NASA Formal Methods}, crossref = {conf/nfm/2011}, editor = {Bobaru, Mihaela Gheorghiu and Havelund, Klaus and Holzmann, Gerard J. and Joshi, Rajeev}, ee = {https://doi.org/10.1007/978-3-642-20398-5_13}, interhash = {ad30770c7991195b5960ba71b285f8e2}, intrahash = {88430c1b11bdd532ea933dacf9ecceb0}, isbn = {978-3-642-20397-8}, keywords = {dblp}, pages = {162-176}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:10:40.000+0200}, title = {Formalizing Probabilistic Safety Claims.}, url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2011.html#Herencia-ZapanaHN11}, volume = 6617, year = 2011 }