Publications per year
Publications per year
Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 01/08/2010 → 25/10/2013 |
Funding
- 1/3 FUU, 1/3 inst 1/3 Andet
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
Research output
- 1 Ph.D. thesis
-
An algebraic approach to analysis of recursive and concurrent programs
Terepeta, M. T., 2013, Kgs. Lyngby: Technical University of Denmark. 205 p. (IMM-PHD-2013; No. 307).Research output: Book/Report › Ph.D. thesis
Open AccessFile405 Downloads (Pure)