C.A.J. van Eijk

Sequential equivalence checking without state space traversal

C.A.J. van Eijk, 1998, Proceedings Design, Automation and Test in Europe.