Projects per year
Original language | English |
---|---|
Pages (from-to) | 234-251 |
Number of pages | 18 |
Journal | Theoretical Computer Science |
Volume | 350 |
Issue number | 2-3 |
DOIs | |
Publication status | Published - 7 Feb 2006 |
Projects
- 1 Finished
-
Modular Abstraction and Abstraction Refinement: A Game Semantic Approach
Engineering & Physical Science Research Council
1/03/06 → 30/11/08
Project: Research Councils