A Temporal Logic of Robustness

Tim French, J.C. Mccabe-Dansted, Mark Reynolds

    Research output: Contribution to journalArticlepeer-review

    17 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)193-205
    JournalLecture Notes in Computer Science
    Volume4720
    Publication statusPublished - 2007

    Cite this