|
[BG+09]
M. ter Beek, S. Gnesi, D. Latella, M. Massink, M. Sebastianis and G. Trentanni.
Assisting the Design of a Groupware System - Model Checking Usability Aspects of thinkteam.
Journal of Logic and Algebraic Programming, 78(4), pages 191-232, Elsevier.
April 2009.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|