TY  - RPRT
TI  - Control-Flow Residual Analysis for Symbolic Automata
AU  - Shaun Azzopardi
AU  - Christian Colombo
AU  - Gordon J. Pace
PY  - 2017
DO  - 10.4204/eptcs.254.3
UR  - https://arxiv.org/abs/1708.07230
ID  - 1708.07230
ER  -