A faster Tableau for CTL*

    Research output: Chapter in Book/Conference paperConference paper

    Original languageEnglish
    Title of host publicationProceedings of the 4th International Symposium on Games, Automata, Logics and Formal Verification
    Place of PublicationItaly
    PublisherOpen Publishing Association
    Pages50-63
    Volume1
    ISBN (Print)20752180
    DOIs
    Publication statusPublished - 2013
    EventFourth International Symposium on Games, Automata, Logics and Formal Verification - Borca di Cadore, Italy
    Duration: 29 Aug 201331 Aug 2013

    Conference

    ConferenceFourth International Symposium on Games, Automata, Logics and Formal Verification
    CountryItaly
    CityBorca di Cadore
    Period29/08/1331/08/13

    Cite this

    Reynolds, M. (2013). A faster Tableau for CTL*. In Proceedings of the 4th International Symposium on Games, Automata, Logics and Formal Verification (Vol. 1, pp. 50-63). Open Publishing Association. https://doi.org/10.4204/EPTCS.119