Exploiting structural similarities in a BDD-based verification method

C.A.J. Eijk, van, G.L.J.M. Janssen

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProc. 2nd Conference on Theorem Provers in Circuit Design
Pages151-166
Publication statusPublished - 1994
Eventconference; Proc. 2nd Conference on Theorem Provers in Circuit Design, Bad Herrenalb, Germany, 26 September 1994 -
Duration: 1 Jan 1994 → …

Conference

Conferenceconference; Proc. 2nd Conference on Theorem Provers in Circuit Design, Bad Herrenalb, Germany, 26 September 1994
Period1/01/94 → …
OtherProc. 2nd Conference on Theorem Provers in Circuit Design, Bad Herrenalb, Germany, 26 September 1994

Cite this