DISCO Toolset - The New Generation

T. Aaltonen, M. Katara, R. Pitkänen

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

    Translated title of the contributionDISCO Toolset - The New Generation
    Original languageEnglish
    Title of host publicationFM-TOOLS 2000, The 4th Workshop on Tools for System Design and Verification, Reisenburg Castle near Ulm, Germany, Monday 10 July - Thursday 13 July 2000
    EditorsG. Schellhorn
    Publication statusPublished - 2000
    Publication typeB3 Article in conference proceedings

    Publication forum classification

    • No publication forum level

    Cite this