Publications

2 results for Michael Case

Scalable conditional equivalence checking: An automated invariant-generation based approach
- - Jason Baumgartner
  - Hari Mony
  - et al.
- 2009
- FMCAD 2009
Merging nodes under sequential observability
- - Michael L. Case
  - Victor N. Kravets
  - et al.
- 2008
- DAC 2008