No label defined (Q4934658)
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: Publication:4934658 |
scientific article; zbMATH DE number 1390366
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1390366 |
Statements
5 July 2000
0 references
modeling
0 references
hybrid control systems
0 references
constrained nets
0 references
timed \(\forall\)-automata
0 references
elevator
0 references
0.7873439788818359
0 references
0.7873439788818359
0 references
0.7838847637176514
0 references
0.7838847637176514
0 references
0.777902364730835
0 references
