No label defined (Q4763570)
From MaRDI portal
scientific article; zbMATH DE number 744053
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 744053 |
Statements
15 October 1995
0 references
structural techniques
0 references
autonomous Petri nets
0 references
correctness verification
0 references
choice free systems
0 references
equal conflict systems
0 references