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