No label defined (Q5486061)

From MaRDI portal
Revision as of 17:06, 28 November 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 5051652
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 5051652

    Statements

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    6 September 2006
    0 references
    verification
    0 references
    dining cryptographers protocol
    0 references
    bounded model checking
    0 references
    binary decision diagrams
    0 references
    SAT-solver
    0 references

    Identifiers