Partially-shared zero-suppressed multi-terminal BDDs

Concept, algorithms and applications
Download
Full text (published Version) (PDF, 661.4Kb)
Thumbnail
Open access
Author
Lampka, Kai
Siegle, Markus
Ossowski, Joern
Baier, Christel
Show all
Date
2010
Type
    Journal Article
Rights / license
In Copyright - Non-Commercial Use Permitted
Permanent link
https://doi.org/10.3929/ethz-b-000022325
Publication status
published
External links
Journal / series
Formal Methods in System Design
Volume
36(3)
Pages / Article No.
198 - 222
Publisher
Springer
Subject
Binary Decision Diagrams and their algorithms; Quantitative verification of systems; Symbolic data structures for performance analysis
Notes
It was possible to publish this article open access thanks to a Swiss National Licence with the publisher
More
Show all metadata
Citations
Cited 3 times in Web of Science
ETH Bibliography
yes
Altmetrics