%0 Journal Article %1 journals/jsw/ZhaoYXL10 %A Zhao, Yefei %A Yang, Zongyuan %A Xie, Jinkui %A Liu, Qiang %D 2010 %J J. Softw. %K %N 7 %P 793-800 %T Quantitative Analysis of System Based on Extended UML State Diagrams and Probabilistic Model Checking. %U http://dblp.uni-trier.de/db/journals/jsw/jsw5.html#ZhaoYXL10 %V 5

@article{journals/jsw/ZhaoYXL10, added-at = {2023-12-13T07:42:28.000+0100}, author = {Zhao, Yefei and Yang, Zongyuan and Xie, Jinkui and Liu, Qiang}, biburl = {https://www.bibsonomy.org/bibtex/2fa8eaeb4c876ac70d4e1cbbc0465a308/admin}, ee = {http://www.jsoftware.us/index.php?m=content&c=index&a=show&catid=131&id=2267}, interhash = {bc3c39a04be46612f5d80b816cf32a4d}, intrahash = {fa8eaeb4c876ac70d4e1cbbc0465a308}, journal = {J. Softw.}, keywords = {}, number = 7, pages = {793-800}, timestamp = {2023-12-13T07:42:28.000+0100}, title = {Quantitative Analysis of System Based on Extended UML State Diagrams and Probabilistic Model Checking.}, url = {http://dblp.uni-trier.de/db/journals/jsw/jsw5.html#ZhaoYXL10}, volume = 5, year = 2010 }