Geometry of Reachability Sets of Vector Addition Systems.

Roland Guttenberg, Mikhail A. Raskin, Javier Esparza

Browse the full CONCUR paper archive.