Techniques For Efficient Formal Verification Using Binary Decision Diagrams (1995)

by Alan John Hu , David L. Dill , Vaughan R. Pratt
Citations:15 - 0 self