No label defined (Q5452300)
From MaRDI portal
scientific article; zbMATH DE number 5253706
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 5253706 |
Statements
26 March 2008
0 references
PROMELA language
0 references