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
Finding State Solutions to Temporal Logic Queries - MaRDI portal

Finding State Solutions to Temporal Logic Queries (Q3608888)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Finding State Solutions to Temporal Logic Queries
scientific article

    Statements

    title
    Finding State Solutions to Temporal Logic Queries (English)
    0 references
    author
    Mihaela Gheorghiu
    0 references
    Arie Gurfinkel
    0 references
    Marsha Chechik
    0 references
    publication date
    6 March 2009
    0 references

    Identifiers

    zbMATH DE Number
    5523886
    0 references
    OpenAlex ID
    W1545603837
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3608888&oldid=31988762"
    Powered by MediaWiki