A high-level model-checking tool for verifying service agreements - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Abubkr Abdelsadiq' in GoogleThis author has not been identified. Look up 'Carlos Molina-Jiménez' in GoogleThis author has not been identified. Look up 'Santosh K. Shrivastava' in Google

runs on WebDSL