TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

The design of a specification language for reactive systems

Tutkimustuotos

Yksityiskohdat

AlkuperäiskieliEnglanti
JulkaisupaikkaTampere
KustantajaTampere University of Technology
Sivumäärä147
TilaJulkaistu - 1992
OKM-julkaisutyyppiG4 Monografiaväitöskirja

Julkaisusarja

NimiTampereen teknillinen korkeakoulu. Julkaisuja
KustantajaTampere University of Technology
Numero95

Julkaisufoorumi-taso