TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Mechanical Verification of Invariant Properties of DisCo Specifications

Tutkimustuotos

Yksityiskohdat

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

Julkaisusarja

NimiTampereen teknillinen korkeakoulu. Julkaisuja
KustantajaTampere University of Technology
Numero218

Julkaisufoorumi-taso