A Tableau for CTL*

    Research output: Chapter in Book/Conference paperConference paper

    15 Citations (Scopus)
    Original languageEnglish
    Title of host publicationFM 2009: Formal Methods
    EditorsA Cavalcanti, D Dams
    Place of PublicationBerlin Heidelberg, Germany
    PublisherSpringer
    Pages403-418
    Volume5850
    EditionEindhoven, Netherlands
    ISBN (Print)03029743
    DOIs
    Publication statusPublished - 2009
    EventA Tableau for CTL* - Eindhoven, Netherlands
    Duration: 1 Jan 2009 → …

    Conference

    ConferenceA Tableau for CTL*
    Period1/01/09 → …

    Cite this