Model Checking Groupware Protocols. (2004)

by M H ter Beek, M Massink, D Latella, S Gnesi
Venue:Cooperative Systems Design—Scenario-Based Design of Collaborative Systems, volume 107 of Frontiers in Artificial Intelligence and Applications,