Constraint Expressions and Workflow Satisability

Jason Crampton, Gregory Gutin

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

Original language	English
Title of host publication	18th ACM SACMAT
Pages	73-84
Publication status	Published - 2013

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

Cite this