Straight line reachability of Roesser model

From MaRDI portal