Algebraic quantitative semantics for efficient online temporal monitoring (Q2044210)

From MaRDI portal
Revision as of 07:36, 26 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Algebraic quantitative semantics for efficient online temporal monitoring
scientific article

    Statements

    title
    Algebraic quantitative semantics for efficient online temporal monitoring (English)
    0 references
    author
    Konstantinos Mamouras
    0 references
    Agnishom Chattopadhyay
    0 references
    Zhifu Wang
    0 references
    publication date
    4 August 2021
    0 references
    zbMATH Keywords
    online monitoring
    0 references
    verification
    0 references
    quantitative semantics
    0 references

    Identifiers

    zbMATH DE Number
    7378311
    0 references
    OpenAlex ID
    W3137814233
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2044210&oldid=36703789"
    Powered by MediaWiki