TITLE     : Model Checking Groupware Protocols
AUTHOR(S) : Ter Beek M H, Massink M, Latella D, Gnesi S
TYPE      : Conference article
YEAR      : 2004
CODE      : 174917

*** DO NOT EDIT THIS FILE ***