Tools and Algerithms for the Construction and Analysis of Systems

Joost P. Katoen, Perdita Stevens

    Research output: Book/ReportBookAcademic

    Original languageUndefined
    Place of PublicationGrenoble, France
    PublisherSpringer
    Number of pages451
    ISBN (Print)3-450-43419-4
    Publication statusPublished - 2002

    Publication series

    NameLecture Notes in Computer Science
    No.2280

    Keywords

    • METIS-208766

    Cite this

    Katoen, J. P., & Stevens, P. (2002). Tools and Algerithms for the Construction and Analysis of Systems. (Lecture Notes in Computer Science; No. 2280). Grenoble, France: Springer.