Model checking the branching time temporal logic CTL
Finna-arvio
Model checking the branching time temporal logic CTL
Tallennettuna:
| Ulkoasu |
69, iii, [3] sivua : kuvitettu ; 25 cm |
|---|---|
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Julkaisija |
Espoo :
Helsinki University of Technology,
1997.
|
| Sarja | Helsinki University of Technology. Digital Systems Laboratory. Series A, Research reports, ISSN 0783-5396; no. 45 |
| Luokitus | |
| Lisätiedot | Keijo Heljanko |
| ISBN |
951-22-3603-6 nidottu |