Alessandro Forghieri (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis: A case study on the automated verification of groupware protocols. ICSE 2005: 596-603

4 Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis: Model Checking Publish/Subscribe Notification for thinkteam^®. Electr. Notes Theor. Comput. Sci. 133: 275-294 (2005)

Selection of 2 from 5 records - Alessandro Forghieri has 14 coauthors

5		Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis: A case study on the automated verification of groupware protocols. ICSE 2005: 596-603
4		Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis: Model Checking Publish/Subscribe Notification for thinkteam^®. Electr. Notes Theor. Comput. Sci. 133: 275-294 (2005)