Sciweavers

Share
ERCIM
2007

Formal Modelling and Verification in Service-Oriented Computing

10 years 2 months ago
Formal Modelling and Verification in Service-Oriented Computing
Maurice H. ter Beek, Stefania Gnesi, Fabio Martine
Added 14 Dec 2010
Updated 14 Dec 2010
Type Journal
Year 2007
Where ERCIM
Authors Maurice H. ter Beek, Stefania Gnesi, Fabio Martinelli, Franco Mazzanti, Marinella Petrocchi
Comments (0)
books