APA (7th ed.) Citation

Tari, Z., Bertok, P., & Mukherjee, A. (2014). Verification of communication protocols in web services : model-checking service compositions / Zahir Tari, Peter Bertok, Anshuman Mukherjee, RMIT University: Model-checking service compositions. Wiley.

Chicago Style (17th ed.) Citation

Tari, Zahir, Peter Bertok, and Anshuman Mukherjee. Verification of Communication Protocols in Web Services : Model-checking Service Compositions / Zahir Tari, Peter Bertok, Anshuman Mukherjee, RMIT University: Model-checking Service Compositions. Hoboken, New Jersey: Wiley, 2014.

MLA (9th ed.) Citation

Tari, Zahir, et al. Verification of Communication Protocols in Web Services : Model-checking Service Compositions / Zahir Tari, Peter Bertok, Anshuman Mukherjee, RMIT University: Model-checking Service Compositions. Wiley, 2014.

Warning: These citations may not always be 100% accurate.