Timed modal specifications : a theory for verification of real-time concurrent systems
Jens Chr. Godskesen
Bok Engelsk 1994
| Utgitt | Hørsholm : Tele Danmark Research , 1994
|
|---|---|
| Omfang | XIV, 198 s. : fig.
|
| Opplysninger | Avh. (doktorgrad) - Aalborg Universitet, 1994.
|
| Emner |
