Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings - Kucera, Antonin; Potapov, Igor (Theoretical Computer Science and General Issues, 2010)