External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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]

Authors

Maurice H. ter Beek

This author has not been identified. Look up 'Maurice H. ter Beek' in Google

Stefania Gnesi

This author has not been identified. Look up 'Stefania Gnesi' in Google

Diego Latella

This author has not been identified. Look up 'Diego Latella' in Google

Mieke Massink

This author has not been identified. Look up 'Mieke Massink' in Google

Maurizio Sebastianis

This author has not been identified. Look up 'Maurizio Sebastianis' in Google

Gianluca Trentanni

This author has not been identified. Look up 'Gianluca Trentanni' in Google
runs on