On the Reachability Problem for 5-Dimensional Vector Addition Systems

Authors: John E. Hopcroft, Jean-Jacques Pansiot - Theoretical Computer Science 1979 cited by 286