Verification of communication protocols in web services : model-checking service compositions /
Includes bibliographical references and index
| Main Authors: | , , |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
Hoboken, New Jersey : Wiley,
2014
|
| Subjects: |
| Summary: | Includes bibliographical references and index |
|---|