Reachability problems : 4th international workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010: proceedings / eds.: A. Kucera, I. Potapov, 2010 r=on-line. - Текст : электронный.