Версии - Verification of communication protocols in web services :

Verification of communication protocols in web services : model-checking service compositions / по Tari, Zahir

An electronic book accessible through the World Wide Web; click to view