TITLE     : An action/state-based model-checking approach for the analysis of an asynchronous protocol for Service-Oriented Applications
AUTHOR(S) : Ter Beek M H, Fantechi A, Gnesi S, Mazzanti F
TYPE      : Conference article
YEAR      : 2007
CODE      : 91733

*** DO NOT EDIT THIS FILE ***