Tampere University of Technology

TUTCRIS Research Portal

DISCO Toolset - The New Generation

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

Details

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
Pages11-15
Publication statusPublished - 2000
Publication typeB3 Non-refereed article in conference proceedings

Publication forum classification