Tools and Algorithms for the Construction and Analysis of Systems

Hendrik Brinksma, W.R. Cleaveland, T. Margaria, B. Steffen, K.G. Larsen

    Research output: Book/ReportBookAcademic

    Original languageUndefined
    Place of PublicationGeen adressering
    PublisherSpringer
    Number of pages289
    ISBN (Print)3-540-60630-0
    Publication statusPublished - 1995

    Keywords

    • METIS-118806

    Cite this

    Brinksma, H., Cleaveland, W. R., Margaria, T., Steffen, B., & Larsen, K. G. (1995). Tools and Algorithms for the Construction and Analysis of Systems. Geen adressering: Springer.