The geometry of reachability in continuous vector addition systems with states

From MaRDI portal
Publication:6647635