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]
No references recorded for this publication.
No citations of this publication recorded.