TITLE     : A case study on the automated verification of groupware protocols
AUTHOR(S) : Ter Beek Mh, Massink M, Latella D, Gnesi S, Forghieri A, Sebastianis M
TYPE      : Conference article
YEAR      : 2005
CODE      : 91150

*** DO NOT EDIT THIS FILE ***