Techreport291
Aus Aifbportal
Version vom 15. August 2009, 16:21 Uhr von Nicole Arlt (Diskussion | Beiträge) (Added from ontology)
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