A process algebraic reduction strategy for automata theoretic verification of untimed and timed concurrent systems
A process algebraic reduction strategy for automata theoretic verification of untimed and timed concurrent systems
Tallennettuna:
| Ulkoasu |
Myös verkkoaineistona (ISBN 952-10-1451-2) vi, 141, [2] sivua : kuvitettu ; 25 cm |
|---|---|
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Julkaisija |
Helsinki :
University of Helsinki,
2003.
|
| Opinnäyte | Väitöskirja Helsingin yliopisto |
| Sarja | Series of publications / Department of Computer Science, University of Helsinki, A, ISSN 1238-8645; 2003-7. |
| Luokitus | |
| Aiheet | |
| Lisätiedot | Matti Luukkainen |
| ISBN |
952-10-1450-4 nidottu |
| Hae kokoteksti | |