Complexity of model checking general linear time

Tim French, John Mccabe-Dansted, Mark Reynolds

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

    3 Citations (Scopus)
    10 Downloads (Pure)
    Original languageEnglish
    Title of host publicationTIME'13 20th International Symposium on Temporal Representation and Reasoning
    Place of PublicationUSA
    PublisherIEEE, Institute of Electrical and Electronics Engineers
    Pages107-114
    Volume1
    ISBN (Print)9780769551128
    DOIs
    Publication statusPublished - 2013
    EventTIME'13 20th International Symposium on Temporal Representation and Reasoning - Pensacola, United States
    Duration: 26 Sep 201328 Sep 2013

    Conference

    ConferenceTIME'13 20th International Symposium on Temporal Representation and Reasoning
    Country/TerritoryUnited States
    CityPensacola
    Period26/09/1328/09/13

    Cite this