Principles of Model Checking

C Baier, Joost P. Katoen

    Research output: Book/Report › Book › Academic

    Original languageUndefined
    Place of PublicationNew York
    PublisherMIT Press
    Number of pages965
    ISBN (Print)978-0-262-02649-9
    Publication statusPublished - May 2008

    Keywords

    • METIS-250848
    • EWI-11580

    Cite this