TITLE     : Automated verification of groupware protocols
AUTHOR(S) : Ter Beek Mh, Massink M, Latella D, Gnesi S, Forghieri A, Sebastianis M
TYPE      : Journal article
YEAR      : 2004
CODE      : 68362

*** DO NOT EDIT THIS FILE ***