Murali Narasimha
Original record- Institution
- North Carolina State University
- Year
- 1999
- Country
- United States
- MGP identifier
- 60977
Dissertation: Probabilistic Verification through Temporal Logics
Advisor 1
- S. Purushothaman IyerUniversity of Utah · 1986
Students 0
No students recorded in this snapshot.