For the most recent entries see the Petri Nets Newsletter.

An Assertional Language for the Verification of Systems Parametric in Several Dimensions.

Delzanno, G.

In: Mayr, R.: Electronic Notes in Theoretical Computer Science, Vol. 50. Elsevier, 2001.

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

Back to the Petri Nets Bibliography