Monitoring hyperproperties with circuits (Q2165208)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Monitoring hyperproperties with circuits
scientific article

    Statements

    title
    Monitoring hyperproperties with circuits (English)
    0 references
    author
    Luca Aceto
    0 references
    Antonis Achilleos
    0 references
    Elli Anastasiadi
    0 references
    Adrian Francalanza
    0 references
    publication date
    19 August 2022
    0 references
    Mathematics Subject Classification ID
    68Q60
    0 references
    03B44
    0 references
    68Q85
    0 references
    zbMATH DE Number
    7573240
    0 references
    OpenAlex ID
    W4293196736
    0 references
    arXiv ID
    2202.11570
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2165208&oldid=33466221"
    Powered by MediaWiki