Partially-shared zero-suppressed multi-terminal BDDs
Concept, algorithms and applications
Metadata only
Date
2010Type
- Journal Article
Publication status
publishedJournal / 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
.More
Show all metadata