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
Efficient Approximate Verification of Promela Models Via Symmetry Markers - MaRDI portal

Efficient Approximate Verification of Promela Models Via Symmetry Markers (Q3510803)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Efficient Approximate Verification of Promela Models Via Symmetry Markers
scientific article

    Statements

    title
    Efficient Approximate Verification of Promela Models Via Symmetry Markers (English)
    0 references
    author
    Dragan Bošnački
    0 references
    Alastair F. Donaldson
    0 references
    Michael Leuschel
    0 references
    Thierry Massart
    0 references
    publication date
    3 July 2008
    0 references

    Identifiers

    zbMATH DE Number
    5297045
    0 references
    OpenAlex ID
    W1538345801
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3510803&oldid=31910059"
    Powered by MediaWiki