The following pages link to Symbolic automata (Q25177):
Displaying 4 items.
- Automata-based symbolic string analysis for vulnerability detection (Q2248096) (← links)
- Monadic Sequence Testing and Explicit Test-Refinements (Q2827440) (← links)
- Forward Bisimulations for Nondeterministic Symbolic Finite Automata (Q3303912) (← links)
- Computations by fly-automata beyond monadic second-order logic (Q5964015) (← links)