TY  - GEN
TY  - GEN
T1  - Object-oriented specification of reactive systems
T2  - Report / Tampere University of Technology, Software Systems Laboratory
A2  - Järvinen, Hannu-Matti, 1959-
LA  - eng
PP  - Tampere
PB  - Tampere University of Technology
YR  - 1989
UL  - https://kansalliskirjasto.finna.fi/Record/fikka.3439981
SN  - 951-721-363-8 nidottu
ER  -