Process Algebra and Model Checking (Q3176390)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Process Algebra and Model Checking
scientific article

    Statements

    title
    Process Algebra and Model Checking (English)
    0 references
    author
    Rance Cleaveland
    0 references
    A. W. Roscoe
    0 references
    Scott A. Smolka
    0 references
    publication date
    20 July 2018
    0 references
    zbMATH DE Number
    6908898
    0 references
    describes a project that uses
    Casper
    0 references
    LTSmin
    0 references
    FDR3
    0 references
    Easychair
    0 references
    PAT
    0 references
    OpenAlex ID
    W2804506387
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3176390&oldid=32456252"
    Powered by MediaWiki