CTL-Like Fragments of a Temporal Logic of Robustness

J.C. Mccabe-Dansted, C. Dixon

    Research output: Chapter in Book/Conference paperConference paperpeer-review

    7 Citations (Scopus)
    Original languageEnglish
    Title of host publicationProceedings 2010 17th International Symposium on Temporal Representation and Reasoning TME 2010
    EditorsIan Pratt-Hartmann, Nicolas Markey, Jef Wijsen
    Place of PublicationUnited States
    PublisherIEEE, Institute of Electrical and Electronics Engineers
    Pages11-18
    Volume1
    EditionFrance
    ISBN (Print)9780769541877
    Publication statusPublished - 2010
    EventCTL-Like Fragments of a Temporal Logic of Robustness - France
    Duration: 1 Jan 2010 → …

    Conference

    ConferenceCTL-Like Fragments of a Temporal Logic of Robustness
    Period1/01/10 → …

    Cite this