The Covering and Boundedness Problems for Vector Addition Systems.

For the most recent entries see the Petri Nets Newsletter.

Univ. Toronto, Toronto Canada, Dept. Theor. Computer Science, Technical Report 97, July 1976.

Also in: Theor. Comp. Science 6, pages 223-231. 1978.

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