nope · @stacked_automation
117 followers · 6409 posts · Server mastodon.socialVector 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
#klmts_decomposition #net_theory #presburger_inductive_invariant #reachability #vector_addition #my_bibtex
Last updated 2 years ago