Probabilistic Timed Model Checking for Atomic Web Service.

Honghao Gao, Huaikou Miao, Shengbo Chen, Jia Mei

Browse the full SERVICES paper archive.