Kenneth Scott Stevens
Ph.D. University of Calgary 1994
Dissertation:
Practical Verification and Synthesis of Low Latency Asynchronous Systems
Advisor: Graham Birtwistle
No students known.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 72515 for the advisor ID.