TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

DISCO Toolset - The New Generation

Tutkimustuotos

Yksityiskohdat

AlkuperäiskieliEnglanti
OtsikkoFM-TOOLS 2000, The 4th Workshop on Tools for System Design and Verification, Reisenburg Castle near Ulm, Germany, Monday 10 July - Thursday 13 July 2000
ToimittajatG. Schellhorn
Sivut11-15
TilaJulkaistu - 2000
OKM-julkaisutyyppiB3 Artikkeli konferenssijulkaisussa

Julkaisufoorumi-taso