A Technique for Estimating the Difficulty of a Formal Verification Problem

  • I. Ghosh, M.R. Prasad
  • Institute of Electrical & Electronics Engineers (IEEE)
  • DOI: 10.1109/isqed.2006.17

The authors haven't yet claimed this publication.

Read Publication

http://dx.doi.org/10.1109/isqed.2006.17