Model checking using net unfoldings (Q1346682)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Model checking using net unfoldings
scientific article

    Statements

    title
    Model checking using net unfoldings (English)
    0 references
    author
    Javier Esparza
    0 references
    publication date
    10 April 1995
    0 references
    zbMATH DE Number
    741463
    0 references
    zbMATH Keywords
    deadlock detection
    0 references
    Petri nets
    0 references
    OpenAlex ID
    W2087409327
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1346682&oldid=32520222"
    Powered by MediaWiki