Paul Karl Harter, Jr.
Original record- Institution
- State University of New York at Stony Brook
- Year
- 1982
- Country
- United States
- MGP identifier
- 105646
Dissertation: On the Application of Temporal Logic to the Verification of Real-Time Programs
Advisor 1
- Arthur Jay BernsteinColumbia University · 1962
Students 0
No students recorded in this snapshot.