Reachability Problems : 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings - Parosh Aziz Abdulla, Igor Potapov ((Lecture Notes in Computer Science))