Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi. Model Checking Groupware Protocols. In Françoise Darses, Rose Dieng, Carla Simone, Manuel Zacklad, editors, Cooperative Systems Design, Scenario-Based Design of Collaborative Systems [Proceedings of COOP 2004, Hyères Les Palmiers, France, May 11-14, 2004]. pages 179-194, IOS, 2004.
Abstract is missing.