For the most recent entries see the Petri Nets Newsletter.

Automatic Deadlock Analysis of Parallel Programs.

Herzog, O.

In: Morlet, E.; Ribbens, D.: International Computing Symposium 1977, pages 209-216. Amsterdam, 1977.


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

Back to the Petri Nets Bibliography