Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence (Q5281829)
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: Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence |
scientific article; zbMATH DE number 6752441
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence |
scientific article; zbMATH DE number 6752441 |
Statements
Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence (English)
0 references
27 July 2017
0 references
0.9586332
0 references
0.9454805
0 references
0.9401384
0 references
0.92458385
0 references
0.91582173
0 references
0.9137989
0 references
0.9093306
0 references
0.9051185
0 references
0.9031096
0 references
