Original language | English |
---|---|
Qualification | Doctor of Philosophy |
Awarding Institution |
|
Supervisors/Advisors |
|
Award date | 8 Oct 2002 |
Place of Publication | Eindhoven |
Publisher | |
Print ISBNs | 90-386-1930-8 |
DOIs | |
Publication status | Published - 2002 |
Formal techniques for verification of complex real-time systems
Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)
460
Downloads
(Pure)