TY  - GEN
TY  - GEN
T1  - Verifying safety by combining joint actions with a process-algebraic approach
T2  - Report / Tampere University of Technology, Software Systems Laboratory
A1  - Aaltonen, Timo, 1968-
A2  - Pitkänen, Risto, 1956-
LA  - eng
PP  - Tampere
PB  - Tampere University of Technology
YR  - 1999
UL  - https://kansalliskirjasto.finna.fi/Record/fikka.3890085
SN  - 952-15-0230-4 nidottu
ER  -