Assisting the Design of an Industrial Groupware System by Model Checking

Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, Gianluca Trentanni. Assisting the Design of an Industrial Groupware System by Model Checking. ERCIM News, 2008(73), 2008. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: