Specification and Verification for Grid Component-Based Applications: From Models to Tools.

Antonio Cansado Eric Madelaine Specification and Verification for Grid Component-Based Applications: From Models to Tools. 180-203 2008 FMCO http://dx.doi.org/10.1007/978-3-642-04167-9_10 conf/fmco/2008 db/conf/fmco/fmco2008.html#CansadoM08