Электронная книга

Verification of Communication Protocols in Web Services: Model-Checking Service Compositions