Original language | English |
---|---|
Qualification | PhD |
Awarding Institution |
|
Supervisors/Advisors |
|
Award date | 2 Oct 2007 |
Place of Publication | Vrije Universiteit |
Print ISBNs | 9789064641749 |
Publication status | Published - 2007 |
Keywords
- Model Checking
- scheduling
- state space searching
- timed branching bisimilarity
- timed process algebra