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 |