The complexity of temporal logic over the reals

    Research output: Contribution to journalArticlepeer-review

    46 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)1063-1096
    JournalAnnals of Pure and Applied Logic
    Volume161
    DOIs
    Publication statusPublished - 2010

    Cite this