Ohcanbohtosat - Tari, Zahir

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

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