R.: Verification of conjunctive artifact-centric services (2012)

by G De Giacomo, R De Masellis, Rosati
Venue:Int. J. of Cooperative Information Systems