TY  - RPRT
TI  - Reachability Analysis of Reversal-bounded Automata on Series-Parallel Graphs
AU  - Rayna Dimitrova
AU  - Rupak Majumdar
PY  - 2015
DO  - 10.4204/eptcs.193.8
UR  - https://arxiv.org/abs/1509.07202
ID  - 1509.07202
ER  -