String Analysis via Automata Manipulation with Logic Circuit Representation (Q4633540)
From MaRDI portal
scientific article; zbMATH DE number 7050641
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | String Analysis via Automata Manipulation with Logic Circuit Representation |
scientific article; zbMATH DE number 7050641 |
Statements
String Analysis via Automata Manipulation with Logic Circuit Representation (English)
0 references
3 May 2019
0 references
