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]
@article{BeekGLMST08,
title = {Assisting the Design of an Industrial Groupware System by Model Checking},
author = {Maurice H. ter Beek and Stefania Gnesi and Diego Latella and Mieke Massink and Maurizio Sebastianis and Gianluca Trentanni},
year = {2008},
url = {http://ercim-news.ercim.eu/assisting-the-design-of-an-industrial-groupware-system-by-model-checking},
tags = {model checking, meta-model, Meta-Environment, design},
researchr = {https://researchr.org/publication/BeekGLMST08},
cites = {0},
citedby = {0},
journal = {ERCIM News},
volume = {2008},
number = {73},
}