Model Checking Groupware Protocols

Simple item page
dc.contributor.authorBeek, Maurice H. ter
dc.contributor.authorMassink, Mieke
dc.contributor.authorLatella, Diego
dc.contributor.authorGnesi, Stefania
dc.date.accessioned2017-09-14T07:11:35Z
dc.date.available2017-09-14T07:11:35Z
dc.date.issued2004
dc.identifier.isbn1-58603-422-7
dc.language.isoen
dc.publisherIOS Press
dc.relation.ispartofCOOP 2004: Cooperative Systems Design - Scenario-Based Design of Collaborative Systems
dc.titleModel Checking Groupware Protocolsen
dc.typeText/Conference Paper
gi.citation.endPage194
gi.citation.startPage179
gi.conference.date11-14 May 2004
gi.conference.locationHyères Les Palmiers, France

Files

Collections

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