Model-based verification of web service compositions
Foster, Howard ; Uchitel, Sebastian ; Magee, Jeff ; Kramer, Jeff
18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings, 2003, p.152-161
Piscataway, NJ, USA: IEEE Press
Texto completo disponível