The Birth of Model Checking (Q3512430)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The Birth of Model Checking
scientific article

    Statements

    The Birth of Model Checking (English)
    0 references
    15 July 2008
    0 references
    model checking
    0 references
    history
    0 references
    future perspectives
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references