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
1996-08-01
Buch
DOI: 10.18452/2472
Petrinetzmodelle zur Verifikation Verteilter Algorithmen
Memorandum
Walter, Rolf
Völzer, Hagen
Vesper, Tobias
Reisig, Wolfgang
Kindler, Ekkart
Freiheit, Jörn
Desel, Jörg
Dateien zu dieser Publikation
67.pdf
—
PDF
—
951.3 Kb
MD5: 7e953e5b9e6dc4bd89d2b5905b5a3b6d
Zitieren
BibTeX
EndNote
RIS
Zur Langanzeige
DOI
10.18452/2472
Permanent URL
https://doi.org/10.18452/2472
HTML
<a href="https://doi.org/10.18452/2472">https://doi.org/10.18452/2472</a>