• Petri Net Based Verification o...
  • Bestand

Treffer: Petri Net Based Verification of Distributed Algorithms

Titel:
Petri Net Based Verification of Distributed Algorithms / Ekkart Kindler, Wolfgang Reisig, Hagen Völzer, Rolf Walter
Verantwortlich:
Kindler, Ekkart (Verfasser); Reisig, Wolfgang (Verfasser); Völzer, Hagen (Verfasser); Walter, Rolf (Verfasser)
Körper­schaft:
Humboldt-Universität zu Berlin (Herausgebendes Organ)
Veröffent­licht:
Berlin : Humboldt-Universität zu Berlin, 1996
Umfang:
Online-Ressource
Publikationstyp:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Informatik-Berichte ; Ausgabe 63, 1996
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Petri net based verification of distributed algorithms. - Berlin : Professoren des Inst. für Informatik, 1996. - 15 S., graph. Darst.
DOI:
10.18452/2492

Zusatz-Informationen

Zusatz-Funktionen