No label defined (Q4518895)

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

    Statements

    0 references
    0 references
    0 references
    0 references
    5 February 2001
    0 references
    0 references
    0 references
    0 references
    0 references
    parameterized networks
    0 references
    finite state processes
    0 references
    WS1S transition system
    0 references