Stuttering-Insensitive Automata for On-the-fly Detection of Livelock Properties

H. Hansen, W. Penczek, A. Valmari

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    16 Citations (Scopus)
    Translated title of the contributionStuttering-Insensitive Automata for On-the-fly Detection of Livelock Properties
    Original languageEnglish
    Title of host publication7th International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS'02), University of Malaga, Spain, July 12-13, 2002
    EditorsH. Cleaveland, H. Garavel
    Pages185-200
    Publication statusPublished - 2002
    Publication typeA4 Article in a conference publication

    Publication forum classification

    • No publication forum level

    Cite this