Q5147341 (Q5147341): Difference between revisions
From MaRDI portal
Removed claim: author (P16): Item:Q1127547 |
Changed an Item |
||
| Property / author | |||
| Property / author: Anatoli N. Chebotarev / rank | |||
Normal rank | |||
Revision as of 04:28, 22 February 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
