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
From natural projection to partial model checking and back - MaRDI portal

From natural projection to partial model checking and back (Q2324221)

From MaRDI portal
scientific article
Language Label Description Also known as
English
From natural projection to partial model checking and back
scientific article

    Statements

    title
    From natural projection to partial model checking and back (English)
    0 references
    author
    Gabriele Costa
    0 references
    Chiara Bodei
    0 references
    Pierpaolo Degano
    0 references
    Letterio Galletta
    0 references
    David A. Basin
    0 references
    publication date
    16 September 2019
    0 references
    describes a project that uses
    libFAUDES
    0 references
    MuDiv
    0 references
    TCT
    0 references

    Identifiers

    zbMATH DE Number
    7105327
    0 references
    OpenAlex ID
    W2798243757
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2324221&oldid=32861685"
    Powered by MediaWiki