A faster Tableau for CTL*

    Research output: Chapter in Book/Conference paperConference paperpeer-review

    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
    Country/TerritoryItaly
    CityBorca di Cadore
    Period29/08/1331/08/13

    Cite this