Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 1/01/13 → 31/12/13 |
Funding
- The University of Western Australia: A$15,000.00
- The University of Western Australia: A$15,000.00
Tableaux for Variants of CTL*
- McCabe-Dansted, John (Investigator 01)