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
Timed Traces and Strand Spaces - MaRDI portal

Timed Traces and Strand Spaces (Q3499787)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Timed Traces and Strand Spaces
scientific article

    Statements

    title
    Timed Traces and Strand Spaces (English)
    0 references
    author
    Robin S. Sharp
    0 references
    Michael R. Hansen
    0 references
    publication date
    3 June 2008
    0 references
    Mathematics Subject Classification ID
    68M12
    0 references
    68P25
    0 references
    94A60
    0 references
    94A62
    0 references
    zbMATH DE Number
    5282076
    0 references
    zbMATH Keywords
    security protocols
    0 references
    real-time
    0 references
    interval logic
    0 references
    verification
    0 references
    OpenAlex ID
    W1539079134
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3499787&oldid=32909581"
    Powered by MediaWiki