Honghao Gao, Huaikou Miao, Hongwei Zeng. Service Reconfiguration Architecture Based on Probabilistic Modeling Checking. In 2014 IEEE International Conference on Web Services, ICWS, 2014, Anchorage, AK, USA, June 27 - July 2, 2014. pages 714-715, IEEE, 2014. [doi]
Abstract is missing.