Lorenzo Clemente, Wojciech Czerwinski, Slawomir Lasota, Charles Paperman. Separability of Reachability Sets of Vector Addition Systems. In Heribert Vollmer, Brigitte Vallée, editors, 34th Symposium on Theoretical Aspects of Computer Science, STACS 2017, March 8-11, 2017, Hannover, Germany. Volume 66 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]
@inproceedings{ClementeCLP17,
title = {Separability of Reachability Sets of Vector Addition Systems},
author = {Lorenzo Clemente and Wojciech Czerwinski and Slawomir Lasota and Charles Paperman},
year = {2017},
doi = {10.4230/LIPIcs.STACS.2017.24},
url = {http://dx.doi.org/10.4230/LIPIcs.STACS.2017.24},
researchr = {https://researchr.org/publication/ClementeCLP17},
cites = {0},
citedby = {0},
booktitle = {34th Symposium on Theoretical Aspects of Computer Science, STACS 2017, March 8-11, 2017, Hannover, Germany},
editor = {Heribert Vollmer and Brigitte Vallée},
volume = {66},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
isbn = {978-3-95977-028-6},
}