%0 Journal Article %1 journals/ijsinnov/KaiMZZG15 %A Kai, Jinyu %A Miao, Huaikou %A Zhao, Kun %A Zhou, Jiaan %A Gao, Honghao %D 2015 %J Int. J. Softw. Innov. %K dblp %N 2 %P 24-38 %T A Platform for Analyzing Behaviors of Service-Oriented Application Based on the Probabilistic Model Checking. %U http://dblp.uni-trier.de/db/journals/ijsinnov/ijsinnov3.html#KaiMZZG15 %V 3

@article{journals/ijsinnov/KaiMZZG15, added-at = {2020-04-09T00:00:00.000+0200}, author = {Kai, Jinyu and Miao, Huaikou and Zhao, Kun and Zhou, Jiaan and Gao, Honghao}, biburl = {https://www.bibsonomy.org/bibtex/286aa02c3c6bfbf0c8c84faff774f93b0/dblp}, ee = {https://doi.org/10.4018/ijsi.2015040104}, interhash = {46a56afd2299f0cb28e7ce58c44d33e8}, intrahash = {86aa02c3c6bfbf0c8c84faff774f93b0}, journal = {Int. J. Softw. Innov.}, keywords = {dblp}, number = 2, pages = {24-38}, timestamp = {2020-04-10T11:37:52.000+0200}, title = {A Platform for Analyzing Behaviors of Service-Oriented Application Based on the Probabilistic Model Checking.}, url = {http://dblp.uni-trier.de/db/journals/ijsinnov/ijsinnov3.html#KaiMZZG15}, volume = 3, year = 2015 }