Model-based verification of web service compositions (2003)

by H Foster, J Kramer, J Magee, S Uchitel
Venue:In 18th IEEE International Conference on Automated Software Engineering (ASE