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

Jérôme Leroux

Published in: LATA (2011)

Keyphrases

wide range
special case
state space
theorem prover
theorem proving