Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 1/04/09 → 31/03/11 |
Funding
- Other (Learned Society): £9,750.00
Verificaton of priced infinite-state real-time systems
- Mayr, Richard (Principal Investigator)
| Status | Finished |
|---|---|
| Effective start/end date | 1/04/09 → 31/03/11 |