For the most recent entries see the
Petri Nets Newsletter.
Compositional Verification of Cooperating Systems Using Simple Homomorphisms.
Ochsenschläger, Peter
In:
Desel, J.; Fleischhack, H.; Oberweis, A.; Sonnenschein, M.: AIS-Bericht, No. 22: 2. Workshop Algorithmen und Werkzeuge für Petrinetze, Oldenburg, October 10-11, 1995, pages 8-13.
Fachbereich Informatik, Universität Oldenburg,
October 1995.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography