Reasoning about online algorithms with weighted automata (Q2930304)

From MaRDI portal
Revision as of 10:04, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Reasoning about online algorithms with weighted automata
scientific article

    Statements

    title
    Reasoning about online algorithms with weighted automata (English)
    0 references
    author
    Benjamin Aminof
    0 references
    Orna Kupferman
    0 references
    Robby Lampert
    0 references
    publication date
    18 November 2014
    0 references
    Mathematics Subject Classification ID
    68W40
    0 references
    68Q45
    0 references
    68W27
    0 references
    zbMATH DE Number
    6370639
    0 references
    zbMATH Keywords
    formal verification
    0 references
    online algorithms
    0 references
    weighted automata
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2930304&oldid=27363000"
    Powered by MediaWiki