On the Reachability Problem for 5-Dimensional Vector Addition Systems

John E. Hopcroft, Jean-Jacques Pansiot. On the Reachability Problem for 5-Dimensional Vector Addition Systems. Theoretical Computer Science, 8:135-159, 1979.

Abstract

Abstract is missing.