Ellis Solaiman, Carlos Molina-Jiménez, Santosh K. Shrivastava. Model Checking Correctness Properties of Electronic Contracts. In Maria E. Orlowska, Sanjiva Weerawarana, Mike P. Papazoglou, Jian Yang, editors, Service-Oriented Computing - ICSOC 2003, First International Conference, Trento, Italy, December 15-18, 2003, Proceedings. Volume 2910 of Lecture Notes in Computer Science, pages 303-318, Springer, 2003. [doi]
Abstract is missing.