![](/img/cover-not-exists.png)
[ACM Press the 27th international conference - St. Louis, MO, USA (2005.05.15-2005.05.21)] Proceedings of the 27th international conference on Software engineering - ICSE '05 - A case study on the automated verification of groupware protocols
ter Beek, Maurice H., Massink, Mieke, Latella, Diego, Gnesi, Stefania, Forghieri, Alessandro, Sebastianis, MaurizioYear:
2005
Language:
english
DOI:
10.1145/1062455.1062560
File:
PDF, 301 KB
english, 2005