Dettaglio pubblicazione
2012, INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS, Pages 111-139 (volume: 21)
Verification of conjunctive artifact-centric services (01a Articolo in rivista)
DE GIACOMO Giuseppe, DE MASELLIS Riccardo, Rosati Riccardo
keywords