| Autor(en): |
Michael Weber; Rolf Walter; Hagen Völzer; Tobias Vesper; Wolfgang Reisig; Sybille Peuker; Ekkart Kindler; Jörn Freiheit; Jörg Desel |
Titel: |
DAWN – Petrinetzmodelle zur Verifikation Verteilter Algorithmen |
| Erscheinungsdatum: |
01.12.1997 |
| Erschienen in: |
Informatik-Berichte 88 ISSN: 0863-095X
|
| Volltext: |
pdf
(urn:nbn:de:kobv:11-10076293)
|
| Fachgebiet(e): |
Informatik |
| Schlagwörter (ger): |
Verteilte Algorithmen, Verifikation, DAWN, Petrinetzmodelle, Algebra |
| Herausgeber: |
Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, Institut für Informatik |
Metadatenexport:
 Um
den gesamten Metadatensatz im Endnote- oder
Bibtex-Format zu speichern,
klicken Sie bitte auf den entsprechenden Link.
|
Endnote
Bibtex
|
| print on demand:
Wenn
Sie auf dieses Icon klicken, können Sie
ein Druckexemplar dieser Publikation bestellen.
|
|
| Diese Seite taggen:
Diese
Icons führen auf so genannte Social-Bookmark-Systeme, auf denen Sie
Lesezeichen anlegen, persönliche Tags vergeben und Lesezeichen anderer Nutzer
ansehen können.
|
|
