Model-Based Verification of Web Services Compositions (2003)

by S Uchitel Foster, J Kramer, J Magee
Venue:Presented at Automated Software Engineering (ASE) Conference 2003