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