Partially-shared zero-suppressed multi-terminal BDDs

Open access
Date
2010Type
- Journal Article
Permanent link
https://doi.org/10.3929/ethz-b-000022325Publication status
publishedExternal links
Journal / series
Formal Methods in System DesignVolume
Pages / Article No.
Publisher
SpringerSubject
Binary Decision Diagrams and their algorithms; Quantitative verification of systems; Symbolic data structures for performance analysisNotes
It was possible to publish this article open access thanks to a Swiss National Licence with the publisherMore
Show all metadata