TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

A New Parallel Composition Operator for Verification Tools

Tutkimustuotos

Yksityiskohdat

AlkuperäiskieliEnglanti
JulkaisupaikkaTampere
KustantajaTampere University of Technology
TilaJulkaistu - 2003
OKM-julkaisutyyppiG5 Artikkeliväitöskirja

Julkaisusarja

NimiTampereen teknillinen yliopisto, Julkaisuja
KustantajaTampere University of Technology
Numero420

Julkaisufoorumi-taso