Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
The Birth of Model Checking - MaRDI portal

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

    title
    The Birth of Model Checking (English)
    0 references
    publication date
    15 July 2008
    0 references
    zbMATH Keywords
    model checking
    0 references
    history
    0 references
    future perspectives
    0 references
    author
    Edmund M. Clarke
    0 references
    cites work
    Q4721963
    0 references
    Q4054648
    0 references
    Q4037091
    0 references
    Q4037371
    0 references
    Q4733398
    0 references
    Q3336675
    0 references
    Q2754081
    0 references
    Q4417936
    0 references
    Q3851570
    0 references
    Q3906386
    0 references
    Q4037108
    0 references
    Q4234084
    0 references
    Q3777424
    0 references
    Q4068060
    0 references
    Q5812175
    0 references
    Q4326390
    0 references
    Q3141897
    0 references
    Q3907077
    0 references
    Q4037374
    0 references
    Q4187287
    0 references
    Q3700812
    0 references
    Q3940830
    0 references
    Q4037087
    0 references
    Q3784021
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q60
    0 references
    03B44
    0 references
    03B70
    0 references
    68-03
    0 references
    68Q85
    0 references
    zbMATH DE Number
    5301040
    0 references
    OpenAlex ID
    W1577525693
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3512430&oldid=35063913"
    Powered by MediaWiki