Tableaux for Variants of CTL*

  • McCabe-Dansted, John (Chief Investigator)

Project Details

StatusFinished
Effective start/end date1/01/1331/12/13

Funding

  • University of Western Australia: AUD15,000.00