%0 Conference Paper %1 conf/atva/BenS15 %A Ben, Yue %A Sistla, A. Prasad %B ATVA %D 2015 %E Finkbeiner, Bernd %E Pu, Geguang %E Zhang, Lijun %I Springer %K dblp %P 148-165 %T Model Checking Failure-Prone Open Systems Using Probabilistic Automata. %U http://dblp.uni-trier.de/db/conf/atva/atva2015.html#BenS15 %V 9364 %@ 978-3-319-24952-0

@inproceedings{conf/atva/BenS15, added-at = {2017-05-21T00:00:00.000+0200}, author = {Ben, Yue and Sistla, A. Prasad}, biburl = {https://www.bibsonomy.org/bibtex/25aab96e2810abd0440e375493a717a95/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2015}, editor = {Finkbeiner, Bernd and Pu, Geguang and Zhang, Lijun}, ee = {https://doi.org/10.1007/978-3-319-24953-7_11}, interhash = {0d0de4670bce75929d84b84a11b62be0}, intrahash = {5aab96e2810abd0440e375493a717a95}, isbn = {978-3-319-24952-0}, keywords = {dblp}, pages = {148-165}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:01:10.000+0200}, title = {Model Checking Failure-Prone Open Systems Using Probabilistic Automata.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2015.html#BenS15}, volume = 9364, year = 2015 }