TITLE     : Assisting the design of an industrial groupware system by model checking
AUTHOR(S) : Ter Beek M H, Gnesi S, Latella D, Massink M, Sebastianis M, Trentanni G
TYPE      : Other
YEAR      : 2008
CODE      : 227150

*** DO NOT EDIT THIS FILE ***