Metric temporal reasoning with less than two clocks

    Research output: Contribution to journalArticle

    5 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)437-455
    JournalJournal of Applied Non-Classical Logics
    Volume20
    Issue number4
    Publication statusPublished - 2010

    Cite this