Umschalten der Navigation
edoc-Server
Open-Access-Publikationsserver der Humboldt-Universität
de
|
en
Publikation anzeigen
edoc-Server Startseite
Schriftenreihen und Sammelbände
Fakultäten und Institute der HU
Institut für Informatik
Informatik-Berichte
Publikation anzeigen
edoc-Server Startseite
Schriftenreihen und Sammelbände
Fakultäten und Institute der HU
Institut für Informatik
Informatik-Berichte
Publikation anzeigen
JavaScript is disabled for your browser. Some features of this site may not work without it.
Gesamter edoc-Server
Bereiche & Sammlungen
Titel
Autor
Schlagwort
Diese Sammlung
Titel
Autor
Schlagwort
Publizieren
Einloggen
Registrieren
Hilfe
Statistik
Nutzungsstatistik
Gesamter edoc-Server
Bereiche & Sammlungen
Titel
Autor
Schlagwort
Diese Sammlung
Titel
Autor
Schlagwort
Publizieren
Einloggen
Registrieren
Hilfe
Statistik
Nutzungsstatistik
Publikation anzeigen
edoc-Server Startseite
Schriftenreihen und Sammelbände
Fakultäten und Institute der HU
Institut für Informatik
Informatik-Berichte
Publikation anzeigen
edoc-Server Startseite
Schriftenreihen und Sammelbände
Fakultäten und Institute der HU
Institut für Informatik
Informatik-Berichte
Publikation anzeigen
1997-12-01
Buch
DOI: 10.18452/2473
DAWN
Petrinetzmodelle zur Verifikation Verteilter Algorithmen
Weber, Michael
Walter, Rolf
Völzer, Hagen
Vesper, Tobias
Reisig, Wolfgang
Peuker, Sybille
Kindler, Ekkart
Freiheit, Jörn
Desel, Jörg
Dateien zu dieser Publikation
88.pdf
—
PDF
—
1.268 Mb
MD5: b55fd5134d0bd0c6abb8aedfa4e52c6a
Zitieren
BibTeX
EndNote
RIS
Zur Langanzeige
DOI
10.18452/2473
Permanent URL
https://doi.org/10.18452/2473
HTML
<a href="https://doi.org/10.18452/2473">https://doi.org/10.18452/2473</a>