The design of a specification language for reactive systems
The design of a specification language for reactive systems
Saved in:
| Physical Description |
148 sivua : kuvitettu ; 25 cm |
|---|---|
| Language |
English |
| Language of Original Work |
English |
| Published |
Tampere :
Tampereen teknillinen korkeakoulu,
1992
|
| Dissertation Note | Väitöskirja Tampereen teknillinen korkeakoulu |
| Series | Julkaisuja / Tampereen teknillinen korkeakoulu, ISSN 0356-4940; 95 |
| Classification | |
| Manufacturer | (Tampereen pikakopio) |
| Additional Information | Hannu-Matti Järvinen |
| ISBN |
951-721-817-6 nidottu |
| Get full text | |