TITLE     : An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications
AUTHOR(S) : Ter Beek M H, Fantechi A, Gnesi S, Mazzanti F
TYPE      : Contribution to book
YEAR      : 2008
CODE      : 178261

*** DO NOT EDIT THIS FILE ***