%0 Conference Paper %1 journals/corr/DimitrovaM15 %A Dimitrova, Rayna %A Majumdar, Rupak %B GandALF %D 2015 %E Esparza, Javier %E Tronci, Enrico %K %P 100-114 %T Reachability Analysis of Reversal-bounded Automata on Series-Parallel Graphs. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs193.html#DimitrovaM15 %V 193

@inproceedings{journals/corr/DimitrovaM15, added-at = {2023-12-14T16:41:01.000+0100}, author = {Dimitrova, Rayna and Majumdar, Rupak}, biburl = {https://www.bibsonomy.org/bibtex/292f97a7df8833365f598b547b5ba5fe2/admin}, booktitle = {GandALF}, crossref = {journals/corr/EsparzaT15}, editor = {Esparza, Javier and Tronci, Enrico}, ee = {http://arxiv.org/abs/1509.07202}, interhash = {fb9ef16bf7d29093a8a7adea7ee70902}, intrahash = {92f97a7df8833365f598b547b5ba5fe2}, keywords = {}, pages = {100-114}, series = {EPTCS}, timestamp = {2023-12-14T16:41:01.000+0100}, title = {Reachability Analysis of Reversal-bounded Automata on Series-Parallel Graphs.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs193.html#DimitrovaM15}, volume = 193, year = 2015 }