For the most recent entries see the
Petri Nets Newsletter.
Proving Petri Nets Correct via Cause-Effect Structures.
Czaja, L.
In:
Workshop Concurrency, Specification and Programming CS & P'2002, Berlin; Oct. 7-9, Vol. 1; H.D. Burkhard, L. Czaja, G. Lindemann, A. Skowron, P. Starke (Eds.), Informatik-Bericht Nr. 161, Humboldt-Univ. zu Berlin, pages 89-100.
7-9 October. 2002.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography