Interpreting message flow graphs (Q1904641)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Interpreting message flow graphs
scientific article

    Statements

    title
    Interpreting message flow graphs (English)
    0 references
    DOI
    10.1007/BF01211629
    0 references
    author
    Peter B. Ladkin
    0 references
    Stefan Leue
    0 references
    publication date
    27 May 1996
    0 references
    zbMATH DE Number
    829874
    0 references
    zbMATH Keywords
    message flow graphs
    0 references
    Büchi automaton
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1904641&oldid=34153942"
    Powered by MediaWiki