Techreport291

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

Forschungsgebiet