ASEHA: A Framework for Modelling and Verification ofWeb Services Protocols.

Pemadeep Ramsokul, Arcot Sowmya

Browse the full SEFM paper archive.