Foundations of Relational Artifacts Verification.

Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli

Browse the full BPM paper archive.