Exploiting structural similarities in a BDD-based verification method

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

Original language	English
Title of host publication	Proc. 2nd International Conference on Theorem Provers in Circuit Design, TPCD
Editors	T. Kropf, R. Kumar
Publisher	Springer
Pages	110-125
Publication status	Published - 1995
Event	conference; Proc. 2nd International Conference on Theorem Provers in Circuit Design, TPCD - Duration: 1 Jan 1995 → …

Conference	conference; Proc. 2nd International Conference on Theorem Provers in Circuit Design, TPCD
Period	1/01/95 → …
Other	Proc. 2nd International Conference on Theorem Provers in Circuit Design, TPCD

Cite this

@inproceedings{0eb0dbfe79684614957a6b51090e4cc0,

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

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

year = "1995",

language = "English",

pages = "110--125",

editor = "T. Kropf and R. Kumar",

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

publisher = "Springer",

address = "Germany",

note = "conference; Proc. 2nd International Conference on Theorem Provers in Circuit Design, TPCD ; Conference date: 01-01-1995",

}

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 - 1995

Y1 - 1995

M3 - Conference contribution

SP - 110

EP - 125

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

A2 - Kropf, T.

A2 - Kumar, R.

PB - Springer

T2 - conference; Proc. 2nd International Conference on Theorem Provers in Circuit Design, TPCD

Y2 - 1 January 1995

ER -