CSE
CSE
CSE CSE


Defense Event

Structure-driven Algorithms for Equivalence Verification and Infeasibility Checking

Maher Naji Mneimneh


 
Monday, August 07, 2006
2:00pm - 3:30pm
1690 Beyster Bldg.

Add to Google Calendar

Additional Information

Sponsor(s): Karem Sakallah

Open to: UM Only