Login / Signup

Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors.

Amit GoelRandal E. Bryant
Published in: CAV (2004)
Keyphrases