No label defined (Q4035486)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: scientific article; zbMATH DE number 176359 |
scientific article; zbMATH DE number 176359
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 176359 |
Statements
18 May 1993
0 references
formal specification of discrete systems
0 references
LOTOS
0 references
0.8269463181495667
0 references
0.766625702381134
0 references
0.7504499554634094
0 references
0.7449391484260559
0 references
