Axioms for obligation and robustness with temporal logic

Tim French, John Mccabe-Dansted, Mark Reynolds

    Research output: Chapter in Book/Conference paperConference paper

    1 Citation (Scopus)
    Original languageEnglish
    Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    Place of PublicationUSA
    PublisherSpringer
    Pages66 - 83
    Volume6181
    ISBN (Print)0302743
    Publication statusPublished - 2010
    EventAxioms for obligation and robustness with temporal logic - Fiesole, Italy
    Duration: 1 Jan 2010 → …

    Conference

    ConferenceAxioms for obligation and robustness with temporal logic
    Period1/01/10 → …

    Cite this