For the most recent entries see the
Petri Nets Newsletter.
Causality Based Specification and Correctness Proof of a Virtually Shared Memory Scheme.
Gomm, Dominik;
Kindler, Ekkart
In:
6/91B: Technische Universität München, SFB-Bericht Nr. 342.
1991.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography