Automated hypersafety verification (Q6194574)

From MaRDI portal
scientific article; zbMATH DE number 7805533
Language Label Description Also known as
English
Automated hypersafety verification
scientific article; zbMATH DE number 7805533

    Statements

    title
    Automated hypersafety verification (English)
    0 references
    author
    Azadeh Farzan
    0 references
    Anthony Vandikas
    0 references
    publication date
    16 February 2024
    0 references

    Identifiers

    arXiv ID
    1905.09242
    0 references
    zbMATH DE Number
    7805533
    0 references
    OpenAlex ID
    W2962297646
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6194574&oldid=36870282"
    Powered by MediaWiki