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
Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets - MaRDI portal

Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets (Q2849443)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets
scientific article

    Statements

    title
    Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets (English)
    0 references
    author
    Agata Janowska
    0 references
    Wojciech Penczek
    0 references
    Agata Półrola
    0 references
    Andrzej Zbrzezny
    0 references
    publication date
    17 September 2013
    0 references

    Identifiers

    zbMATH DE Number
    6208966
    0 references
    OpenAlex ID
    W2210345597
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2849443&oldid=31333149"
    Powered by MediaWiki