FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465861)

From MaRDI portal
scientific article; zbMATH DE number 2194287
Language Label Description Also known as
English
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
scientific article; zbMATH DE number 2194287

    Statements

    FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    12 August 2005
    0 references
    0 references
    Well-structured transition systems
    0 references
    Verification
    0 references
    Coverability problem
    0 references
    Parameterized systems
    0 references
    Petri nets
    0 references
    Lossy channel systems
    0 references
    0 references