Sciweavers

ERCIM
2007

Formal Modelling and Verification in Service-Oriented Computing

13 years 11 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)