Travelled to:1 × Germany
Collaborated with:J.Srba S.Vighio
Talks about:protocol (1) servic (1) verif (1) model (1) activ (1) busi (1) web (1)
Person: Anders P. Ravn
DBLP: Ravn:Anders_P=
Contributed to:
2011Wrote 1 papers:
- TACAS-2011-RavnSV #modelling #process #protocol #verification #web #web service
- Modelling and Verification of Web Services Business Activity Protocol (APR, JS, SV), pp. 357–371.