Workflow Nets Verification: SMT or CLP?

Hadrien Bride, Olga Kouchnarenko, Fabien Peureux, Guillaume Voiron

Browse the full FMICS paper archive.