| Biblio No. | Subject | Title | Author | Publisher | Image |
|---|---|---|---|---|---|
| 67390 | Computer science | Verification of Communication Protocols in Web Services:Model-Checking Service Compositions | Kazi Sakib; Zahir Tari; Peter Bertok | IEEE Press-Wiley |  |
| Biblio No. | Subject | Title | Author | Publisher | Image |
|---|---|---|---|---|---|
| 67390 | Computer science | Verification of Communication Protocols in Web Services:Model-Checking Service Compositions | Kazi Sakib; Zahir Tari; Peter Bertok | IEEE Press-Wiley | |