Verifying temporal properties in real models

Tim French, John Mccabe-Dansted, Mark Reynolds

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

    2 Citations (Scopus)
    Original languageEnglish
    Title of host publicationLogic for Programming, Artificial Intelligence, and Reasoning
    Subtitle of host publication19th International Conference, LPAR-19 Stellenbosch, SouthAfrica, December 14-19, 2013 Proceedings
    EditorsKen McMillan, Aart Middeldorp, Andrei Voronkov
    Place of PublicationGermany
    PublisherSpringer
    Pages309-232
    ISBN (Print)9783642452208
    DOIs
    Publication statusPublished - 2013
    Event19th International Conference, LPAR-19, 2013 - Stellenbosch, South Africa
    Duration: 14 Dec 201319 Dec 2013

    Publication series

    NameLecture Notes in Computer Science
    Number8312

    Conference

    Conference19th International Conference, LPAR-19, 2013
    Country/TerritorySouth Africa
    CityStellenbosch
    Period14/12/1319/12/13

    Cite this