Verifying safety by combining joint actions with a process-algebraic approach
Finna-arvio
Verifying safety by combining joint actions with a process-algebraic approach
Tallennettuna:
Ulkoasu |
27, [2] sivua : kuvitettu ; 30 cm |
---|---|
Kieli |
englanti |
Alkuteoksen kieli |
englanti |
Julkaisija |
Tampere :
Tampere University of Technology,
1999.
|
Sarja | Report / Tampere University of Technology, Software Systems Laboratory, ISSN 0786-0102; 19. |
Luokitus | |
Lisätiedot | Timo Aaltonen and Risto Pitkänen |
ISBN |
952-15-0230-4 nidottu |
Hae kokoteksti |