| Original language | English |
|---|---|
| Pages (from-to) | 555-577 |
| Number of pages | 23 |
| Journal | Journal of Artificial Intelligence Research |
| Volume | 51 |
| DOIs | |
| Publication status | Published - 21 Nov 2014 |
Projects
- 1 Finished
-
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
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver