The model checking fingerprints of CTL operators (Q2317834)

From MaRDI portal
Revision as of 05:00, 19 April 2024 by Importer (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
The model checking fingerprints of CTL operators
scientific article

    Statements

    title
    The model checking fingerprints of CTL operators (English)
    0 references
    author
    Andreas Krebs
    0 references
    Arne Meier
    0 references
    Martin Mundhenk
    0 references
    publication date
    13 August 2019
    0 references
    zbMATH DE Number
    7093327
    0 references
    OpenAlex ID
    W2885823445
    0 references
    arXiv ID
    1504.04708
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2317834&oldid=33496986"
    Powered by MediaWiki