@Inproceedings{EPTCS193.8, author = {Dimitrova, Rayna and Majumdar, Rupak}, year = {2015}, title = {Reachability Analysis of Reversal-bounded Automata on Series-Parallel Graphs}, editor = {Esparza, Javier and Tronci, Enrico}, booktitle = {{\rm Proceedings Sixth International Symposium on} Games, Automata, Logics and Formal Verification, {\rm Genoa, Italy, 21-22nd September 2015}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {193}, publisher = {Open Publishing Association}, pages = {100-114}, doi = {10.4204/EPTCS.193.8}, }