Lun Li
Original record- Institution
- Southern Methodist University
- Year
- 2006
- Country
- United States
- MGP identifier
- 108541
Dissertation: Integrated Techniques for the Formal Verification and Validation of Digital Systems
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Mitchell Aaron ThorntonSouthern Methodist University · 1995
Students 0
No students recorded in this snapshot.