Jerry Robert Burch
Original record- Institution
- Carnegie Mellon University
- Year
- 1992
- Country
- United States
- MGP identifier
- 50260
Dissertation: Trace Algebra for Automatic Verification of Real-Time Concurrent Systems
Advisor 1
- Edmund Melson Clarke, Jr.Cornell University · 1976
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Roberto Passerone | University of California, Berkeley | 2004 | 0 |