Enhancing unsatisfiable cores for LTL with information on temporal relevance (Q507378)

From MaRDI portal
Revision as of 08:54, 13 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Enhancing unsatisfiable cores for LTL with information on temporal relevance
scientific article

    Statements

    title
    Enhancing unsatisfiable cores for LTL with information on temporal relevance (English)
    0 references
    author
    Viktor Schuppan
    0 references
    publication date
    6 February 2017
    0 references
    zbMATH Keywords
    LTL
    0 references
    unsatisfiable cores
    0 references
    vacuity
    0 references
    temporal resolution
    0 references
    resolution graphs
    0 references
    Parikh images
    0 references
    describes a project that uses
    NuSMV
    0 references
    LOUI
    0 references
    Boost
    0 references
    TRP++
    0 references
    Boost C++ Libraries
    0 references
    BGL
    0 references
    cites work
    Q4992524
    0 references
    Q4385542
    0 references
    Q4012170
    0 references
    Q4804909
    0 references
    Q2760241
    0 references
    Q2724150
    0 references
    Q3490999
    0 references
    Q4952309
    0 references
    Q5678435
    0 references
    Q2751353
    0 references
    Q3862379
    0 references
    Q5503674
    0 references
    Q4941841
    0 references
    Q4583686
    0 references

    Identifiers

    zbMATH DE Number
    6680835
    0 references
    OpenAlex ID
    W2169191644
    0 references
    arXiv ID
    1306.2694
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q507378&oldid=36304087"
    Powered by MediaWiki