Partially-shared zero-suppressed multi-terminal BDDs
Concept, algorithms and applications
Open access
Datum
2010Typ
- Journal Article
Persistenter Link
https://doi.org/10.3929/ethz-b-000022325Publikationsstatus
publishedExterne Links
Zeitschrift / Serie
Formal Methods in System DesignBand
Seiten / Artikelnummer
Verlag
SpringerThema
Binary Decision Diagrams and their algorithms; Quantitative verification of systems; Symbolic data structures for performance analysisAnmerkungen
It was possible to publish this article open access thanks to a Swiss National Licence with the publisher