Syntax and consistent equation semantics of hybrid Chi (Q2368698)
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: Syntax and consistent equation semantics of hybrid Chi |
scientific article; zbMATH DE number 5019763
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Syntax and consistent equation semantics of hybrid Chi |
scientific article; zbMATH DE number 5019763 |
Statements
Syntax and consistent equation semantics of hybrid Chi (English)
0 references
28 April 2006
0 references
process algebra
0 references
hybrid automata
0 references
0.8551991581916809
0 references
0.8249119520187378
0 references
0.7679679989814758
0 references
0.7615858316421509
0 references
0.751348614692688
0 references