Compositional Synthesis of Finite-State Abstractions (Q5223778)
From MaRDI portal
scientific article; zbMATH DE number 7082491
Language | Label | Description | Also known as |
---|---|---|---|
English | Compositional Synthesis of Finite-State Abstractions |
scientific article; zbMATH DE number 7082491 |
Statements
Compositional Synthesis of Finite-State Abstractions (English)
0 references
18 July 2019
0 references