%0 Conference Paper %1 conf/ssiri/Song10 %A Song, Songzheng %B SSIRI (Companion) %D 2010 %I IEEE Computer Society %K dblp %P 24-25 %T An Efficient Method of Probabilistic Model Checking. %U http://dblp.uni-trier.de/db/conf/ssiri/ssiri2010c.html#Song10 %@ 978-0-7695-4087-0

@inproceedings{conf/ssiri/Song10, added-at = {2014-12-03T00:00:00.000+0100}, author = {Song, Songzheng}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2cb06876348fc3a5254d4012b4d7a62b7/dblp}, booktitle = {SSIRI (Companion)}, crossref = {conf/ssiri/2010c}, ee = {http://doi.ieeecomputersociety.org/10.1109/SSIRI-C.2010.14}, interhash = {fb8dff25af289a070cf04624fcd0b18a}, intrahash = {cb06876348fc3a5254d4012b4d7a62b7}, isbn = {978-0-7695-4087-0}, keywords = {dblp}, pages = {24-25}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T16:24:45.000+0100}, title = {An Efficient Method of Probabilistic Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/ssiri/ssiri2010c.html#Song10}, year = 2010 }