Cita APA (7a ed.)

Tari, Z., Bertók, P., & Mukherjee, A. (2014). Verification of communication protocols in web services: Model-checking service compositions (1st edition.). Wiley.

Cita Chicago Style (17a ed.)

Tari, Zahir, Péter Bertók, y Anshuman Mukherjee. Verification of Communication Protocols in Web Services: Model-checking Service Compositions. 1st edition. Hoboken, New Jersey: Wiley, 2014.

Cita MLA (9a ed.)

Tari, Zahir, et al. Verification of Communication Protocols in Web Services: Model-checking Service Compositions. 1st edition. Wiley, 2014.