Automated Synthesis of Protocol Converters with BALM-II (Q4988649)
From MaRDI portal
scientific article; zbMATH DE number 7349337
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automated Synthesis of Protocol Converters with BALM-II |
scientific article; zbMATH DE number 7349337 |
Statements
Automated Synthesis of Protocol Converters with BALM-II (English)
0 references
18 May 2021
0 references
