Model checking usage policies (Q5740636)

From MaRDI portal
scientific article; zbMATH DE number 6606923
Language Label Description Also known as
English
Model checking usage policies
scientific article; zbMATH DE number 6606923

    Statements

    title
    Model checking usage policies (English)
    0 references
    author
    Massimo Bartoletti
    0 references
    Roberto Zunino
    0 references
    Pierpaolo Degano
    0 references
    Gian-Luigi Ferrari
    0 references
    publication date
    27 July 2016
    0 references
    Mathematics Subject Classification ID
    68Q60
    0 references
    68Q45
    0 references
    68Q85
    0 references
    zbMATH DE Number
    6606923
    0 references
    describes a project that uses
    PRISM
    0 references
    SAFKASI
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5740636&oldid=36264011"
    Powered by MediaWiki