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 |