Verification of communication protocols in web services : model-checking service compositions

Author(s)

    • Tari, Zahir
    • Bertók, Péter
    • Mukherjee, Anshuman

Bibliographic Information

Verification of communication protocols in web services : model-checking service compositions

Zahir Tari, Peter Bertok, Anshuman Mukherjee

(Wiley series on parallel and distributed computing, 83)

John Wiley & Sons, c2014

Available at  / 2 libraries

Search this Book/Journal

Related Books: 1-1 of 1

Details

Page Top