Abubkr Abdelsadiq, Carlos Molina-Jiménez, Santosh K. Shrivastava. A high-level model-checking tool for verifying service agreements. In Jerry Zeyu Gao, Xiaodong Lu, Muhammad Younas, Hong Zhu, editors, IEEE 6th International Symposium on Service Oriented System Engineering, SOSE 2011, Irvine, CA, USA, December 12-14, 2011. pages 297-304, IEEE, 2011. [doi]
Abstract is missing.