No label defined (Q5147341)
From MaRDI portal
scientific article; zbMATH DE number 7301741
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 7301741 |
Statements
26 January 2021
0 references
reactive system
0 references
language \(L\) specification
0 references
\( \Sigma \)-automaton
0 references
synchronous composition of \(\Sigma \)-automata
0 references
inequality over \(\Sigma \)-automata
0 references
maximal solution
0 references
