Reachability Problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings - Hague, Matthew.; Potapov, Igor. (Theoretical Computer Science and General Issues ;, 2017)