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: |
| _version_ | 1796749691963047936 |
|---|---|
| author | 464078 Tari, Zahir Bertk̤, Pťer, 1952- Mukherjee, Anshuman |
| author_facet | 464078 Tari, Zahir Bertk̤, Pťer, 1952- Mukherjee, Anshuman |
| author_sort | 464078 Tari, Zahir |
| collection | OCEAN |
| description | Includes bibliographical references and index |
| first_indexed | 2024-03-05T13:40:34Z |
| format | |
| id | KOHA-OAI-TEST:503493 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| language | eng |
| last_indexed | 2024-03-05T13:40:34Z |
| publishDate | 2014 |
| publisher | Hoboken, New Jersey : Wiley, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:5034932020-12-19T17:18:38ZVerification of communication protocols in web services : model-checking service compositions / 464078 Tari, Zahir Bertk̤, Pťer, 1952- Mukherjee, Anshuman Hoboken, New Jersey : Wiley,2014engIncludes bibliographical references and indexPSZJBLWeb servicesComputer network protocolsURN:ISBN:9780470905395 (hbk.) |
| spellingShingle | Web services Computer network protocols 464078 Tari, Zahir Bertk̤, Pťer, 1952- Mukherjee, Anshuman Verification of communication protocols in web services : model-checking service compositions / |
| title | Verification of communication protocols in web services : model-checking service compositions / |
| title_full | Verification of communication protocols in web services : model-checking service compositions / |
| title_fullStr | Verification of communication protocols in web services : model-checking service compositions / |
| title_full_unstemmed | Verification of communication protocols in web services : model-checking service compositions / |
| title_short | Verification of communication protocols in web services : model-checking service compositions / |
| title_sort | verification of communication protocols in web services model checking service compositions |
| topic | Web services Computer network protocols |
| work_keys_str_mv | AT 464078tarizahir verificationofcommunicationprotocolsinwebservicesmodelcheckingservicecompositions AT bertkpter1952 verificationofcommunicationprotocolsinwebservicesmodelcheckingservicecompositions AT mukherjeeanshuman verificationofcommunicationprotocolsinwebservicesmodelcheckingservicecompositions |