Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Compositional verification of cooperating systems using simple homomorphisms

 
: Ochsenschläger, P.

Desel, J. ; Univ. Oldenburg, Fachbereich Informatik, Arbeitsgruppe Informatik-Systeme:
2. Workshop Algorithmen und Werkzeuge für Petrinetze 1995 : Oldenburg, 10.-11. Oktober 1995
Oldenburg: Univ. Oldenburg, FB Informatik, 1995 (Universität Oldenburg, Arbeitsgruppe Informatik-Systeme. Bericht 22)
pp.8-13
Workshop Algorithmen und Werkzeuge für Petrinetze <2, 1995, Oldenburg>
English
Conference Paper
Fraunhofer SIT ()
Verteilte Systeme; Verifikation

: http://publica.fraunhofer.de/documents/950549.html