Verifying safety by combining joint actions with a process-algebraic approach
Finna-recension
Verifying safety by combining joint actions with a process-algebraic approach
Sparad:
| Fysisk beskrivning |
27, [2] sivua : kuvitettu ; 30 cm |
|---|---|
| Språk |
engelska |
| Originalverkets språk |
engelska |
| Förlag |
Tampere :
Tampere University of Technology,
1999.
|
| Serie | Report / Tampere University of Technology, Software Systems Laboratory, ISSN 0786-0102; 19. |
| Klassifikation | |
| Mer information | Timo Aaltonen and Risto Pitkänen |
| ISBN |
952-15-0230-4 nidottu |
| Hämta fulltext | |