Home |  ENGLISH |  Kontakt |  Impressum |  Anmelden |  KIT

Techreport291

Aus Aifbportal

Wechseln zu: Navigation, Suche


Proving Correctness of Distributed Algorithms - A Petri Net Approach


Jörg Desel, Ekkart Kindler



Published: 1997 Februar
Nummer: 348
Institution: University of Karlsruhe, Institute AIFB
Erscheinungsort / Ort: 76128 Karlsruhe, Germany
Archivierungsnummer: 291

BibTeX



Forschungsgruppe

Betriebliche Informationssysteme


-->