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
5 February 2001
0 references
parameterized networks
0 references
finite state processes
0 references
WS1S transition system
0 references