Techniques for Smaller Intermediary BDDs

J. Geldenhuys; A. Valmari

doi:10.1007/3-540-44685-0_16

Techniques for Smaller Intermediary BDDs

J. Geldenhuys
, A. Valmari

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

16 Citations (Scopus)

Translated title of the contribution	Techniques for Smaller Intermediary BDDs
Original language	English
Title of host publication	CONCUR 2001 - Concurrency Theory. 12th International Conference Aalborg, Denmark, August 20–25, 2001 Proceedings
Editors	Kim G. Larsen, Mogens Nielsen
Publisher	Springer-Verlag
Pages	233-247
ISBN (Electronic)	978-3-540-44685-9
ISBN (Print)	978-3-540-42497-0
DOIs	https://doi.org/10.1007/3-540-44685-0_16
Publication status	Published - 2001
Publication type	A4 Article in conference proceedings

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer-Verlag
Volume	2154
ISSN (Print)	0302-9743

Publication forum classification

No publication forum level

Access to Document

10.1007/3-540-44685-0_16

Cite this

@inproceedings{9d1d62e62d09417f8a7ed5e03bbc9755,

title = "Techniques for Smaller Intermediary BDDs",

author = "J. Geldenhuys and A. Valmari",

note = "Contribution: organisation=ohj,FACT1=1",

year = "2001",

doi = "10.1007/3-540-44685-0\_16",

language = "English",

isbn = "978-3-540-42497-0",

series = "Lecture Notes in Computer Science",

publisher = "Springer-Verlag",

pages = "233--247",

editor = "Larsen, \{Kim G.\} and Mogens Nielsen",

booktitle = "CONCUR 2001 - Concurrency Theory. 12th International Conference Aalborg, Denmark, August 20–25, 2001 Proceedings",

}

Techniques for Smaller Intermediary BDDs. / Geldenhuys, J.; Valmari, A.
CONCUR 2001 - Concurrency Theory. 12th International Conference Aalborg, Denmark, August 20–25, 2001 Proceedings. ed. / Kim G. Larsen; Mogens Nielsen. Springer-Verlag, 2001. p. 233-247 (Lecture Notes in Computer Science; Vol. 2154).

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

TY - GEN

T1 - Techniques for Smaller Intermediary BDDs

AU - Geldenhuys, J.

AU - Valmari, A.

N1 - Contribution: organisation=ohj,FACT1=1

PY - 2001

Y1 - 2001

U2 - 10.1007/3-540-44685-0_16

DO - 10.1007/3-540-44685-0_16

M3 - Conference contribution

SN - 978-3-540-42497-0

T3 - Lecture Notes in Computer Science

SP - 233

EP - 247

BT - CONCUR 2001 - Concurrency Theory. 12th International Conference Aalborg, Denmark, August 20–25, 2001 Proceedings

A2 - Larsen, Kim G.

A2 - Nielsen, Mogens

PB - Springer-Verlag

ER -