List of Mistakes in the Paper ``Kosaraju: Decidability of Reachability in Vector Addition Systems, May 1982''.

For the most recent entries see the Petri Nets Newsletter.

List of Mistakes in the Paper ``Kosaraju: Decidability of Reachability in Vector Addition Systems, May 1982''.

In: Newsletter No. 12, pages 1-10. Bonn, Germany: Gesellschaft für Informatik (GI), Special Interest Group on Petri Nets and Related System Models, October 1982.

Keywords: decidability (of the) reachability problem; vector addition system.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography