Techreport291: Unterschied zwischen den Versionen
Aus Aifbportal
K (Added from ontology) |
K (Added from ontology) |
||
Zeile 1: | Zeile 1: | ||
− | {{Publikation | + | {{Publikation Erster Autor |
− | | | + | |ErsterAutorNachname=Desel |
− | | | + | |ErsterAutorVorname=Jörg |
}} | }} | ||
{{Publikation Author | {{Publikation Author |
Version vom 8. September 2009, 10:06 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