Finite Uniform Bisimulations for Linear Systems With Finite Input Alphabets (Q4589482)
From MaRDI portal
scientific article; zbMATH DE number 6805628
Language | Label | Description | Also known as |
---|---|---|---|
English | Finite Uniform Bisimulations for Linear Systems With Finite Input Alphabets |
scientific article; zbMATH DE number 6805628 |
Statements
Finite Uniform Bisimulations for Linear Systems With Finite Input Alphabets (English)
0 references
10 November 2017
0 references