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
Saved in:
| Physical Description |
Myös verkkoaineistona (ISBN 952-10-1451-2) vi, 141, [2] sivua : kuvitettu ; 25 cm |
|---|---|
| Language |
English |
| Language of Original Work |
English |
| Publisher |
Helsinki :
University of Helsinki,
2003.
|
| Dissertation Note | Väitöskirja Helsingin yliopisto |
| Series | Series of publications / Department of Computer Science, University of Helsinki, A, ISSN 1238-8645; 2003-7. |
| Classification | |
| Subjects | |
| Additional Information | Matti Luukkainen |
| ISBN |
952-10-1450-4 nidottu |
| Get full text | |