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
2005-06-30
Buch
DOI: 10.18452/2444
Analysis and formal Verification of SDL'92 Specifications using Extended Petri Nets
Fischer, Joachim
Dimitrov, Evgeni
Taubert, Udo
Dateien zu dieser Publikation
43.pdf
—
PDF
—
894.8 Kb
MD5: 4da1e324bdc94fb577146967223669f3
Zitieren
BibTeX
EndNote
RIS
Zur Langanzeige
DOI
10.18452/2444
Permanent URL
https://doi.org/10.18452/2444
HTML
<a href="https://doi.org/10.18452/2444">https://doi.org/10.18452/2444</a>