Erratum: A Decidability Theorem for a Class of Vector-Addition Systems

Stefano Crespi-Reghizzi, Dino Mandrioli. Erratum: A Decidability Theorem for a Class of Vector-Addition Systems. Inf. Process. Lett., 3(5):164, 1975.

Abstract

Abstract is missing.