A Multiparameter Analysis of the Boundedness Problem for Vector Addition Systems.

For the most recent entries see the Petri Nets Newsletter.

In: J. Comput. Syst. Sci., Vol. 32, pages 105-135. 1986.

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