TY  - GEN
TY  - GEN
T1  - The DisCo language and temporal logic of actions
T2  - Report / Tampere University of Technology, Software Systems Laboratory
A1  - Järvinen, Hannu-Matti, 1959-
A2  - Kurki-Suonio, Reino, 1937-
LA  - eng
PP  - Tampere
PB  - Tampere University of Technology
YR  - 1990
UL  - https://kansalliskirjasto.finna.fi/Record/fikka.3763409
SN  - 951-721-587-8 nidottu
ER  -