Chua-Huang Huang
Original record- Institution
- University of Texas at Austin
- Year
- 1987
- Country
- United States
- MGP identifier
- 87577
Dissertation: The Mechanically Certified Derivation of Concurrency and Its Application to Systolic Design
Advisor 1
- Christian LengauerUniversity of Toronto · 1982
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Sandeep K. S. Gupta | The Ohio State University | 1995 | 1 |