A case study on the automated verification of groupware protocols

14 years 11 months ago

Maurice H. ter Beek, Mieke Massink, Diego Latella,

Groupware Protocols | ICSE 2005 | Software Engineering |

claim paper

Added	09 Dec 2009
Updated	09 Dec 2009
Type	Conference
Year	2005
Where	ICSE
Authors	Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis

Comments (0)