Q5147341 (Q5147341): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Revision as of 18:59, 5 March 2024
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
