Son T. Vuong
Original record- Institution
- University of Waterloo
- Year
- 1983
- Country
- Canada
- MGP identifier
- 66933
Dissertation: Formal Techniques for Protocol Specification and Validation - Toward an Integrated System
Advisor 1
- Donald Douglas CowanUniversity of Waterloo · 1965
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Antonio Alfredo Ferreira Loureiro | University of British Columbia | 1996 | 4 |
| Jinsong Zhu | University of British Columbia | 1999 | 0 |