%0 Conference Paper %1 conf/sera/MiMKG16 %A Mi, Chengyang %A Miao, Huaikou %A Kai, Jinyu %A Gao, Honghao %B SERA %D 2016 %E Song, Yeong-Tae %I IEEE Computer Society %K dblp %P 149-154 %T Reliability modeling and verification of BPEL-based web services composition by probabilistic model checking. %U http://dblp.uni-trier.de/db/conf/sera/sera2016.html#MiMKG16 %@ 978-1-5090-0809-4

@inproceedings{conf/sera/MiMKG16, added-at = {2023-03-23T00:00:00.000+0100}, author = {Mi, Chengyang and Miao, Huaikou and Kai, Jinyu and Gao, Honghao}, biburl = {https://www.bibsonomy.org/bibtex/2235c0b2ae639f190bbbf6c66d5128a6f/dblp}, booktitle = {SERA}, crossref = {conf/sera/2016}, editor = {Song, Yeong-Tae}, ee = {https://doi.ieeecomputersociety.org/10.1109/SERA.2016.7516140}, interhash = {c84efda108a995b6d9bee645b5ae9c9e}, intrahash = {235c0b2ae639f190bbbf6c66d5128a6f}, isbn = {978-1-5090-0809-4}, keywords = {dblp}, pages = {149-154}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T19:51:40.000+0200}, title = {Reliability modeling and verification of BPEL-based web services composition by probabilistic model checking.}, url = {http://dblp.uni-trier.de/db/conf/sera/sera2016.html#MiMKG16}, year = 2016 }