CSE
|
ECE
MENU
Search
Events
Dissertation Defense
Structure-driven Algorithms for Equivalence Verification and Infeasibility Checking
Maher Naji Mneimneh
WHEN:
Monday, August 7, 2006 @ 2:00 pm
Add to Google Calendar
SHARE:
Sponsored by
Karem Sakallah