%0 Conference Paper %1 conf/services/GaoMCM11 %A Gao, Honghao %A Miao, Huaikou %A Chen, Shengbo %A Mei, Jia %B SERVICES %D 2011 %I IEEE Computer Society %K dblp %P 459-466 %T Probabilistic Timed Model Checking for Atomic Web Service. %U http://dblp.uni-trier.de/db/conf/services/services2011.html#GaoMCM11 %@ 978-1-4577-0879-4

@inproceedings{conf/services/GaoMCM11, added-at = {2014-11-27T00:00:00.000+0100}, author = {Gao, Honghao and Miao, Huaikou and Chen, Shengbo and Mei, Jia}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2534ef9c0c14d2ac86008face3cd32372/dblp}, booktitle = {SERVICES}, crossref = {conf/services/2011}, ee = {http://doi.ieeecomputersociety.org/10.1109/SERVICES.2011.42}, interhash = {fc7c83820c8db9d797318dea0f931d00}, intrahash = {534ef9c0c14d2ac86008face3cd32372}, isbn = {978-1-4577-0879-4}, keywords = {dblp}, pages = {459-466}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T16:29:19.000+0100}, title = {Probabilistic Timed Model Checking for Atomic Web Service.}, url = {http://dblp.uni-trier.de/db/conf/services/services2011.html#GaoMCM11}, year = 2011 }