Peter BertokBooksVerification of Communication Protocols in Web ServicesVerification Of Communication Protocols In Web Services Modelchecking Service CompositionsAuthor data: Open Library