Straight line reachability of Roesser model

From MaRDI portal
Publication:3773752