Partially-shared zero-suppressed multi-terminal BDDs

Concept, algorithms and applications
Thumbnail
Metadata only
Author
Lampka, Kai
Siegle, Markus
Ossowski, Joern
Baier, Christel
Show all
Date
2010
Type
  • Journal Article
Publication status
published
External links
Full text via SFX
Journal / series
Formal methods in system design
Volume
36(3)
Pages
198 - 222
Publisher
Springer
Subject
Binary Decision Diagrams and their algorithms; Quantitative verification of systems; Symbolic data structures for performance analysis
Notes
.
More
Show all metadata
Altmetrics