Exploiting structural similarities in a BDD-based verification method

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

Exploiting structural similarities in a BDD-based verification method

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

Electronic Systems

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proc. 2nd Conference on Theorem Provers in Circuit Design
Pages	151-166
Publication status	Published - 1994
Event	conference; Proc. 2nd Conference on Theorem Provers in Circuit Design, Bad Herrenalb, Germany, 26 September 1994 - Duration: 1 Jan 1994 → …

Conference

Conference	conference; Proc. 2nd Conference on Theorem Provers in Circuit Design, Bad Herrenalb, Germany, 26 September 1994
Period	1/01/94 → …
Other	Proc. 2nd Conference on Theorem Provers in Circuit Design, Bad Herrenalb, Germany, 26 September 1994

Cite this

@inproceedings{9f08d7f399544ffd977784baef539c5b,

title = "Exploiting structural similarities in a BDD-based verification method",

author = "{Eijk, van}, C.A.J. and G.L.J.M. Janssen",

year = "1994",

language = "English",

pages = "151--166",

booktitle = "Proc. 2nd Conference on Theorem Provers in Circuit Design",

note = "conference; Proc. 2nd Conference on Theorem Provers in Circuit Design, Bad Herrenalb, Germany, 26 September 1994 ; Conference date: 01-01-1994",

}

TY - GEN

T1 - Exploiting structural similarities in a BDD-based verification method

AU - Eijk, van, C.A.J.

AU - Janssen, G.L.J.M.

PY - 1994

Y1 - 1994

M3 - Conference contribution

SP - 151

EP - 166

BT - Proc. 2nd Conference on Theorem Provers in Circuit Design

T2 - conference; Proc. 2nd Conference on Theorem Provers in Circuit Design, Bad Herrenalb, Germany, 26 September 1994

Y2 - 1 January 1994

ER -