No label defined (Q2957522)

From MaRDI portal
Revision as of 21:17, 3 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
No label defined
scientific article

    Statements

    author
    Tomáš Brázdil
    0 references
    Holger Hermanns
    0 references
    Jan Krčál
    0 references
    Jan Křetínský
    0 references
    Vojtěch Řehák
    0 references
    publication date
    26 January 2017
    0 references
    Mathematics Subject Classification ID
    68Q60
    0 references
    60J20
    0 references
    60J28
    0 references
    68Q87
    0 references
    zbMATH DE Number
    6678474
    0 references
    zbMATH Keywords
    IMC
    0 references
    compositional verification
    0 references
    synthesis
    0 references
    time-bounded reachability
    0 references
    discretization
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2957522&oldid=15955392"
    Powered by MediaWiki