Conference Paper

Model Checking Groupware Protocols

Fulltext URI

Document type

Text/Conference Paper

Additional Information

Date

2004

Authors

Journal Title

Journal ISSN

Volume Title

Source

COOP 2004: Cooperative Systems Design - Scenario-Based Design of Collaborative Systems

Publisher

IOS Press

Abstract

Description

Beek, Maurice H. ter; Massink, Mieke; Latella, Diego; Gnesi, Stefania (2004): Model Checking Groupware Protocols. COOP 2004: Cooperative Systems Design - Scenario-Based Design of Collaborative Systems. IOS Press. ISBN: 1-58603-422-7. pp. 179-194. Hyères Les Palmiers, France. 11-14 May 2004

Keywords

Citation

DOI

Tags

Collections

COOP 2004: Proceedings of the 6th International Conference on Designing Cooperative Systems