TY  - GEN
TY  - GEN
T1  - The design of a specification language for reactive systems
T2  - Julkaisuja / Tampereen teknillinen korkeakoulu
A1  - Järvinen, Hannu-Matti, 1959-
LA  - eng
PP  - Tampere
PB  - Tampereen teknillinen korkeakoulu
YR  - 1992
UL  - https://kansalliskirjasto.finna.fi/Record/fikka.3520229
SN  - 951-721-817-6 nidottu
ER  -