Partially-shared zero-suppressed multi-terminal BDDs: Concept, algorithms and applications (Q600975): Difference between revisions

From MaRDI portal
Changed an Item
Normalize DOI.
 
(5 intermediate revisions by 5 users not shown)
Property / DOI
 
Property / DOI: 10.1007/s10703-010-0095-8 / rank
Normal rank
 
Property / describes a project that uses
 
Property / describes a project that uses: PRISM / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2047151442 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Binary Decision Diagrams / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4835250 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Graph-Based Algorithms for Boolean Function Manipulation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Exploiting interleaving semantics in symbolic state-space generation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4518905 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the use of MTBDDs for performability analysis and verification of stochastic systems. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4946958 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Zero-suppressed BDDs and their applications / rank
 
Normal rank
Property / cites work
 
Property / cites work: Validation of Stochastic Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4884303 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4800174 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Branching Programs and Binary Decision Diagrams / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1007/S10703-010-0095-8 / rank
 
Normal rank

Latest revision as of 21:55, 9 December 2024

scientific article
Language Label Description Also known as
English
Partially-shared zero-suppressed multi-terminal BDDs: Concept, algorithms and applications
scientific article

    Statements

    Partially-shared zero-suppressed multi-terminal BDDs: Concept, algorithms and applications (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    3 November 2010
    0 references
    binary decision diagrams and their algorithms
    0 references
    quantitative verification of systems
    0 references
    symbolic data structures for performance analysis
    0 references
    0 references
    0 references
    0 references

    Identifiers