Henny Berendien Sipma
Original record- Institution
- Stanford University
- Year
- 1999
- Country
- United States
- MGP identifier
- 71184
Dissertation: Diagram-Based Verification of Discrete, Real-Time and Hybrid Systems
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Zohar MannaCarnegie Mellon University · 1968
Students 3
| Name | Institution | Year | Students |
|---|---|---|---|
| Cesar Sanchez | Stanford University | 2007 | 3 |
| Sriram Sankaranarayanan | Stanford University | 2005 | 0 |
| Ting Zhang | Stanford University | 2006 | 0 |