Verifying Modal Workflow Specifications Using Constraint Solving.

Hadrien Bride, Olga Kouchnarenko, Fabien Peureux

Browse the full IFM paper archive.