Verification Of Communication Protocols In Web Services Modelchecking Service Compositions
Publisher: John Wiley & Sons
Published: 2014
ISBN-13: 9780470905395