Ideal Decompositions for Vector Addition Systems (Invited Talk)

Jérôme Leroux, Sylvain Schmitz. Ideal Decompositions for Vector Addition Systems (Invited Talk). In Nicolas Ollinger, Heribert Vollmer, editors, 33rd Symposium on Theoretical Aspects of Computer Science, STACS 2016, February 17-20, 2016, Orléans, France. Volume 47 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016. [doi]

Authors

Jérôme Leroux

This author has not been identified. Look up 'Jérôme Leroux' in Google

Sylvain Schmitz

This author has not been identified. Look up 'Sylvain Schmitz' in Google