Weak bisimulation for probabilistic timed automata (Q606996)

From MaRDI portal
Revision as of 08:51, 30 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Weak bisimulation for probabilistic timed automata
scientific article

    Statements

    title
    Weak bisimulation for probabilistic timed automata (English)
    0 references
    author
    Ruggero Lanotte
    0 references
    Angelo Troina
    0 references
    publication date
    19 November 2010
    0 references
    zbMATH DE Number
    5817534
    0 references
    zbMATH Keywords
    probabilistic timed automata
    0 references
    weak bisimulation
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q606996&oldid=12497230"
    Powered by MediaWiki