Concepts, Algorithms, and Tools for Model Checking

Joost P. Katoen

    Research output: Contribution to journal › Article › Academic

    Original languageUndefined
    Pages (from-to)-
    Number of pages292
    JournalArbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung
    VolumeBand
    Issue number1
    Publication statusPublished - 1999

    Keywords

    • METIS-118686

    Cite this

    Katoen, Joost P. / Concepts, Algorithms, and Tools for Model Checking. In: Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung. 1999 ; Vol. Band, No. 1. pp. -.
    @article{bd95678c01ba4727a4f512da7d74b1be,
    title = "Concepts, Algorithms, and Tools for Model Checking",
    keywords = "METIS-118686",
    author = "Katoen, {Joost P.}",
    year = "1999",
    language = "Undefined",
    volume = "Band",
    pages = "--",
    journal = "Arbeitsberichte des Instituts f{\"u}r Mathematische Maschinen und Datenverarbeitung",
    issn = "0344-3515",
    publisher = "University of Erlangen",
    number = "1",

    }

    Katoen, JP 1999, 'Concepts, Algorithms, and Tools for Model Checking' Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung, vol. Band, no. 1, pp. -.

    Concepts, Algorithms, and Tools for Model Checking. / Katoen, Joost P.

    In: Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung, Vol. Band, No. 1, 1999, p. -.

    Research output: Contribution to journal › Article › Academic

    TY - JOUR

    T1 - Concepts, Algorithms, and Tools for Model Checking

    AU - Katoen, Joost P.

    PY - 1999

    Y1 - 1999

    KW - METIS-118686

    M3 - Article

    VL - Band

    SP - -

    JO - Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung

    JF - Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung

    SN - 0344-3515

    IS - 1

    ER -

    Katoen JP. Concepts, Algorithms, and Tools for Model Checking. Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung. 1999;Band(1):-.