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
On completeness of liveness synthesis for parametric timed automata (Extended Abstract) - MaRDI portal

On completeness of liveness synthesis for parametric timed automata (Extended Abstract) (Q2237334)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On completeness of liveness synthesis for parametric timed automata (Extended Abstract)
scientific article

    Statements

    title
    On completeness of liveness synthesis for parametric timed automata (Extended Abstract) (English)
    0 references
    author
    Jaco van de Pol
    0 references
    Laure Petrucci
    0 references
    publication date
    27 October 2021
    0 references
    zbMATH DE Number
    7415130
    0 references
    OpenAlex ID
    W3154685813
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2237334&oldid=36725962"
    Powered by MediaWiki