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