Axioms for Branching Time

    Research output: Contribution to journalArticle

    18 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)679-697
    JournalJournal of Logic and Computation
    Volume12
    Issue number4
    DOIs
    Publication statusPublished - 2002

    Cite this