Stage-oe-small.jpg

Techreport291

Aus Aifbportal
Version vom 7. August 2009, 11:10 Uhr von Nicole Arlt (Diskussion | Beiträge) (Added from ontology)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Wechseln zu:Navigation, Suche


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

BibTeX






Forschungsgebiet