Vector Addition System Reachability Problem: A Short Self-contained Proof

DOI10.1007/978-3-642-21254-3_3zbMath1330.68211OpenAlexW4231432373MaRDI QIDQ3004566

Jérôme Leroux

Publication date: 3 June 2011

Published in: Language and Automata Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-21254-3_3

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Vector Addition System Reachability Problem: A Short Self-contained Proof