Honghao Gao, Huaikou Miao, Yucong Duan, Jinyu Kai. Applying Probabilistic Model Checking to Service Discovery Framework. In Jia Zhang, John A. Miller, Xiaofei Xu, editors, IEEE International Conference on Services Computing, SCC 2016, San Francisco, CA, USA, June 27 - July 2, 2016. pages 782-785, IEEE, 2016. [doi]
Abstract is missing.