Login / Signup

BDD-Based Debugging Of Design Using Language Containment and Fair CTL.

Ramin HojatiRobert K. BraytonRobert P. Kurshan
Published in: CAV (1993)
Keyphrases
  • user interface
  • language learning
  • modeling language
  • temporal logic