James Patrick Kapinski
Original record- Institution
- Carnegie Mellon University
- Year
- 2005
- Country
- United States
- MGP identifier
- 246989
Dissertation: Verification and synthesis of hybrid systems using proximity-based automata
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Bruce Harvey KroghUniversity of Illinois at Urbana-Champaign · 1982
Students 0
No students recorded in this snapshot.