No label defined (Q6083440)

From MaRDI portal
scientific article; zbMATH DE number 7774306
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 7774306

    Statements

    author
    John Derrick
    0 references
    Simon Doherty
    0 references
    Brijesh Dongol
    0 references
    Gerhard Schellhorn
    0 references
    Heike Wehrheim
    0 references
    publication date
    8 December 2023
    0 references
    zbMATH Keywords
    strong observational refinement
    0 references
    hyperproperties
    0 references
    forward simulation
    0 references

    Identifiers

    arXiv ID
    2107.14509
    0 references
    zbMATH DE Number
    7774306
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6083440&oldid=39690345"
    Powered by MediaWiki