Constraint Expressions and Workflow Satisability

Jason Crampton, Gregory Gutin

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 results

Finished

Parameterized Algorithmics for the Analysis and Verification of Constrained Workflow Systems
Gutin, G., Cohen, D. & Crampton, J.
Eng & Phys Sci Res Council EPSRC
1/02/13 → 1/05/16
Project: Research