Publications

Use of random simulation in formal verification

• • Florian Krohm
  • Andreas Kuehlmann
  • et al.
• 1996
• ICCD 1996