For the most recent entries see the
Petri Nets Newsletter.
Bausteine eines kompositionalen Beweiskalküls für netzmodellierte Systeme.
Desel, Jörg;
Gomm, Dominik;
Kindler, Ekkart;
Walter, Rolf;
Paech, Barbara
In:
16/92 A Technische Universität München, Institut für Informatik: SFB-Bericht Nr.342.
1992.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography