%0 Conference Paper %1 conf/icfem/SuR13 %A Su, Guoxin %A Rosenblum, David S. %B ICFEM %D 2013 %E Groves, Lindsay %E Sun, Jing %I Springer %K dblp %P 297-312 %T Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems. %U http://dblp.uni-trier.de/db/conf/icfem/icfem2013.html#SuR13 %V 8144 %@ 978-3-642-41201-1

@inproceedings{conf/icfem/SuR13, added-at = {2018-11-02T00:00:00.000+0100}, author = {Su, Guoxin and Rosenblum, David S.}, biburl = {https://www.bibsonomy.org/bibtex/2cdfb304cd3a8015d4b84277d6ea5d17f/dblp}, booktitle = {ICFEM}, crossref = {conf/icfem/2013}, editor = {Groves, Lindsay and Sun, Jing}, ee = {https://doi.org/10.1007/978-3-642-41202-8_20}, interhash = {f310e5ad0b41207856a15b482dcb467a}, intrahash = {cdfb304cd3a8015d4b84277d6ea5d17f}, isbn = {978-3-642-41201-1}, keywords = {dblp}, pages = {297-312}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:04:22.000+0200}, title = {Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems.}, url = {http://dblp.uni-trier.de/db/conf/icfem/icfem2013.html#SuR13}, volume = 8144, year = 2013 }