Article citationsMore>>

H. Foster, S. Uchitel, J. Magee and J. Kramer, “Model-Based Verification of Web Service Compositions,” Proceedings of the 18th IEEE International Conference of the Automated Software Engineering, Montreal, 6-10 October 2003, pp. 152-161.

has been cited by the following article: