Tari, Z., Bertók, P., & Mukherjee, A. (2014). Verification of communication protocols in web services: Model-checking service compositions. Wiley.
Chicago-Zitierstil (17. Ausg.)Tari, Zahir, Péter Bertók, und Anshuman Mukherjee. Verification of Communication Protocols in Web Services: Model-checking Service Compositions. Hoboken, NJ: Wiley, 2014.
MLA-Zitierstil (9. Ausg.)Tari, Zahir, et al. Verification of Communication Protocols in Web Services: Model-checking Service Compositions. Wiley, 2014.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.