%0 Conference Paper %1 conf/qest/RabeWKYH14 %A Rabe, Markus N. %A Wintersteiger, Christoph M. %A Kugler, Hillel %A Yordanov, Boyan %A Hamadi, Youssef %B QEST %D 2014 %E Norman, Gethin %E Sanders, William H. %I Springer %K dblp %P 388-403 %T Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains. %U http://dblp.uni-trier.de/db/conf/qest/qest2014.html#RabeWKYH14 %V 8657 %@ 978-3-319-10695-3

@inproceedings{conf/qest/RabeWKYH14, added-at = {2019-10-19T00:00:00.000+0200}, author = {Rabe, Markus N. and Wintersteiger, Christoph M. and Kugler, Hillel and Yordanov, Boyan and Hamadi, Youssef}, biburl = {https://www.bibsonomy.org/bibtex/2b4717b7dd670d26d71fe8d0c8e1089b5/dblp}, booktitle = {QEST}, crossref = {conf/qest/2014}, editor = {Norman, Gethin and Sanders, William H.}, ee = {https://doi.org/10.1007/978-3-319-10696-0_30}, interhash = {d35e91f3538f50b835222288dac097e9}, intrahash = {b4717b7dd670d26d71fe8d0c8e1089b5}, isbn = {978-3-319-10695-3}, keywords = {dblp}, pages = {388-403}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T14:07:59.000+0200}, title = {Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains.}, url = {http://dblp.uni-trier.de/db/conf/qest/qest2014.html#RabeWKYH14}, volume = 8657, year = 2014 }