Projects per year
Original language | English |
---|---|
Title of host publication | FAW-AAIM 2013 |
Subtitle of host publication | Lecture Notes in Computer Science |
Pages | 198-209 |
Volume | 7924 |
Publication status | Published - 2013 |
Projects
- 1 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