Shaz Qadeer
Original record- Institution
- University of California, Berkeley
- Year
- 1999
- Country
- United States
- MGP identifier
- 70115
Dissertation: Algorithms and Methodology for Scalable Model Checking
Advisor 1
- Thomas A. HenzingerStanford University · 1991
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Tayfun Elmas | Koç University | 2010 | 0 |