Travelled to:
1 × India
Collaborated with:
A.Sowmya
Talks about:
framework (1) protocol (1) servic (1) verif (1) ofweb (1) model (1) aseha (1)
Person: Pemadeep Ramsokul
DBLP: Ramsokul:Pemadeep
Contributed to:
Wrote 1 papers:
- SEFM-2006-RamsokulS #framework #modelling #named #protocol #verification #web service
- ASEHA: A Framework for Modelling and Verification ofWeb Services Protocols (PR, AS), pp. 196–205.