Dissertation Defense

Structure-driven Algorithms for Equivalence Verification and Infeasibility Checking

Name: Structure-driven Algorithms for Equivalence Verification and Infeasibility Checking
Start: 2006-08-07T14:00:00-04:00
End: 2006-08-07T14:00:00-04:00

Maher Naji Mneimneh

WHEN:

Monday, August 7, 2006 @ 2:00 pm
Add to Google Calendar

Events

Dissertation Defense

Structure-driven Algorithms for Equivalence Verification and Infeasibility Checking

Sponsored by