Verification of conjunctive artifact-centric services (0)

by G De Giacomo, R De Masellis, R Rosati
Venue:Int. J. Cooperative Inf. Syst