Separability of Reachability Sets of Vector Addition Systems.

Lorenzo Clemente, Wojciech Czerwinski, Slawomir Lasota, Charles Paperman

Browse the full STACS paper archive.