Zhongping Tao
Original record- Institution
- Université de Montréal
- Year
- 1996
- Country
- Canada
- MGP identifier
- 73180
Dissertation: Formal Methods for the Design of Real-Time Communicating Subsystems and Controllers
Advisor 1
- Gregor von BochmannMcGill University · 1971
Students 0
No students recorded in this snapshot.