Representing a Program Invariant as a Linear Invariant in a Net.

For the most recent entries see the Petri Nets Newsletter.

In: Bulletin of the EATCS, pages 2-11. June 1982.

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