Tari, Z., Mukherjee, A., & Bertók, P. (2014). Verification of communication protocols in web services: Model-checking service compositions. Wiley.
Цитирование в стиле Чикаго (17-е изд.)Tari, Zahir, Anshuman Mukherjee, и Péter Bertók. Verification of Communication Protocols in Web Services: Model-checking Service Compositions. Hoboken, New Jersey: Wiley, 2014.
Цитирование MLA (9-е изд.)Tari, Zahir, et al. Verification of Communication Protocols in Web Services: Model-checking Service Compositions. Wiley, 2014.
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.