Fair SMG and Linear Time Model Checking

Howard Barringer, Michael Fisher, Graham Gough, Joseph Sifakis (Editor)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Original languageEnglish
    Title of host publicationAutomatic Verification Methods for Finite State Systems
    EditorsJoseph Sifakis
    PublisherSpringer Nature
    Pages133-150
    Number of pages18
    Volume407
    ISBN (Print)3-540-52148-8
    DOIs
    Publication statusPublished - 1989
    EventAutomatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings -
    Duration: 1 Jan 1824 → …
    http://dblp.uni-trier.de/db/conf/avmfss/avmfss1989.html#BarringerFG89http://dblp.uni-trier.de/rec/bibtex/conf/avmfss/BarringerFG89.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/avmfss/BarringerFG89

    Publication series

    NameLecture Notes in Computer Science

    Conference

    ConferenceAutomatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings
    Period1/01/24 → …
    Internet address

    Cite this