TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Abstractions and Logical Layers in Specifications of Reactive Systems

Tutkimustuotos

Yksityiskohdat

AlkuperäiskieliEnglanti
JulkaisupaikkaTampere
KustantajaTampere University of Technology
Sivumäärä122
TilaJulkaistu - 1999
OKM-julkaisutyyppiG5 Artikkeliväitöskirja

Julkaisusarja

NimiTampereen teknillinen korkeakoulu. Julkaisuja
KustantajaTampere University of Technology
Numero249

Julkaisufoorumi-taso