TY  - RPRT
TI  - Analysis and Verification of Service Interaction Protocols - A Brief Survey
AU  - Gwen Salaün
PY  - 2010
DO  - 10.4204/eptcs.35.7
UR  - https://arxiv.org/abs/1009.3716
ID  - 1009.3716
ER  -