Title: Verification Of Communication Protocols In Web Services Modelchecking Service Compositions
Subjects: Web services, Testing, Computer network protocols, COMPUTERS / Computer Engineering, Topology, Computer networks