Reachability Problems 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings - Finkel, Alain; Leroux, Jérôme; Potapov, Igor (Springer Berlin Heidelberg : Imprint: Springer, 2012)