Scott Edward Hazelhurst
Original record- Institution
- University of British Columbia
- Year
- 1996
- Country
- Canada
- MGP identifier
- 72152
Dissertation: Compositional Model Checking of Partially Ordered State Spaces
Advisor 1
- Carl-Johan Henry SegerUniversity of Waterloo · 1988
Students 0
No students recorded in this snapshot.