Omar Al-Bataineh
Original record- Institution
- University of Western Australia
- Year
- 2015
- Country
- Australia
- MGP identifier
- 201274
Dissertation: Verifying worst-case execution time of timed automata models with cyclic behaviour
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Mark A. ReynoldsUniversity of London · 1989
Students 0
No students recorded in this snapshot.