A case study on the automated verification of groupware protocols - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis. A case study on the automated verification of groupware protocols. In Gruia-Catalin Roman, William G. Griswold, Bashar Nuseibeh, editors, 27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA. pages 596-603, ACM, 2005. [doi]

This author has not been identified. Look up 'Maurice H. ter Beek' in GoogleThis author has not been identified. Look up 'Mieke Massink' in GoogleThis author has not been identified. Look up 'Diego Latella' in GoogleThis author has not been identified. Look up 'Stefania Gnesi' in GoogleThis author has not been identified. Look up 'Alessandro Forghieri' in GoogleThis author has not been identified. Look up 'Maurizio Sebastianis' in Google

runs on WebDSL