Automata Theory and Model Checking (Q3176362)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Automata Theory and Model Checking
scientific article

    Statements

    title
    Automata Theory and Model Checking (English)
    0 references
    author
    Orna Kupferman
    0 references
    publication date
    20 July 2018
    0 references
    describes a project that uses
    NuSMV
    0 references
    SPIN
    0 references
    LTL2BA
    0 references
    cites work
    Q4472249
    0 references
    Q2908872
    0 references
    Q5525343
    0 references
    Alternation
    0 references
    Q3619797
    0 references
    Q4493881
    0 references
    Q4551134
    0 references
    Q4422087
    0 references
    Q4501540
    0 references
    Q2769435
    0 references
    Q4791853
    0 references
    Q4804910
    0 references
    Q2754072
    0 references
    Q4326390
    0 references
    Q4501665
    0 references
    Q4726235
    0 references
    Q3748266
    0 references
    Q5541339
    0 references
    Q2754087
    0 references
    Q4385530
    0 references

    Identifiers

    zbMATH DE Number
    6908870
    0 references
    OpenAlex ID
    W2804031838
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3176362&oldid=36410131"
    Powered by MediaWiki