Context

Context of Verification of communication protocols in Web services : model-checking service compositions, Zahir Tari, Peter Bertok, Anshuman Mukherjee, RMIT University
Processing Feedback ...