Tools and Algorithms for the Construction and Analysis of Systems

Albert Nymeyer

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    Original languageUndefined
    Title of host publicationEncyclopedia of Computer Science and Techology
    Place of PublicationNew York, USA
    PublisherMarcel Dekker
    Pages-
    Number of pages26
    ISBN (Print)0-8247-2293-0
    Publication statusPublished - 1998

    Keywords

    • METIS-118933

    Cite this