210
Voted
KBSE
2003
IEEE
16 years 16 days ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...