Techreport291: Unterschied zwischen den Versionen
Aus Aifbportal
K (Added from ontology) |
Dhe (Diskussion | Beiträge) K (Textersetzung - „ID Number“ durch „Archivierungsnummer“) |
||
Zeile 14: | Zeile 14: | ||
|Institution=University of Karlsruhe, Institute AIFB | |Institution=University of Karlsruhe, Institute AIFB | ||
|Number=348 | |Number=348 | ||
− | | | + | |Archivierungsnummer=291 |
}} | }} | ||
{{Publikation Details | {{Publikation Details |
Version vom 1. Oktober 2009, 14:41 Uhr
Proving Correctness of Distributed Algorithms - A Petri Net Approach
Published: 1997
Februar
Nummer: 348
Institution: University of Karlsruhe, Institute AIFB
Erscheinungsort / Ort: 76128 Karlsruhe, Germany
Archivierungsnummer: 291
Forschungsgebiet