The DisCo language and temporal logic of actions
Finna rating
The DisCo language and temporal logic of actions
Saved in:
| Physical Description |
14, [2] sivua : kuvitettu ; 30 cm |
|---|---|
| Language |
English |
| Language of Original Work |
English |
| Published |
Tampere :
Tampere University of Technology,
1990.
|
| Series | Report / Tampere University of Technology, Software Systems Laboratory, ISSN 0786-0102; 11. |
| Classification | |
| Additional Information | Hannu-Matti Järvinen and Reino Kurki-Suonio |
| ISBN |
951-721-587-8 nidottu |
| Get full text | |