Vector Addition Systems Reachability Problem (A Simpler Solution)
(2012) : J{\'e}rôme Leroux
url: https://hal.archives-ouvertes.fr/hal-00674970v2
#KLMTS_decomposition #net_theory #presburger_inductive_invariant #reachability #vector_addition
#my_bibtex