From Mtl to Deterministic Timed Automata (Q3588091)

From MaRDI portal
scientific article
Language Label Description Also known as
English
From Mtl to Deterministic Timed Automata
scientific article

    Statements

    title
    From Mtl to Deterministic Timed Automata (English)
    0 references
    author
    Dejan Ničković
    0 references
    Nir Piterman
    0 references
    publication date
    10 September 2010
    0 references
    zbMATH Keywords
    metric temporal logic
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q45
    0 references
    03B44
    0 references
    68Q60
    0 references
    zbMATH DE Number
    5783580
    0 references
    OpenAlex ID
    W1558808483
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3588091&oldid=32721628"
    Powered by MediaWiki