No label defined (Q4580323)

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

    Statements

    author
    Valentina Castiglioni
    0 references
    Daniel Gebler
    0 references
    Simone Tini
    0 references
    publication date
    15 August 2018
    0 references
    Mathematics Subject Classification ID
    68Q85
    0 references
    03B45
    0 references
    68Q55
    0 references
    68Q87
    0 references
    zbMATH DE Number
    6917938
    0 references
    zbMATH Keywords
    SOS
    0 references
    nondeterministic probabilistic process algebras
    0 references
    logical characterization
    0 references
    decomposition of modal formulae
    0 references
    arXiv ID
    1701.08330
    0 references
    cites work
    Q4995155
    0 references
    Q4791270
    0 references
    Q4818861
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4580323&oldid=36416413"
    Powered by MediaWiki