Brogi A., Bruni R., Ciancarini P., Corradi A., Ferrari G., Massink M., Montanari U.
Formal Methods Service Oriented Computing
Deliverable D7.2 of Activity 7 of the FIRB project TOCAI.IT
Source: Project report, TOCAI, Deliverable D7.2, 2008
@techreport{oai:it.cnr:prodotti:161002, title = {TOCAI - D7.2 - Process-oriented models and languages: scientific results and application scenarios}, author = {Brogi A. and Bruni R. and Ciancarini P. and Corradi A. and Ferrari G. and Massink M. and Montanari U.}, institution = {Project report, TOCAI, Deliverable D7.2, 2008}, year = {2008} }