- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Deutsch
- Erschienen in
-
Informatik-Berichte ; Ausgabe 67, 1996
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Humboldt-Universität zu Berlin
- (wann)
-
1996
- Urheber
-
Walter, Rolf
Völzer, Hagen
Vesper, Tobias
Reisig, Wolfgang
Kindler, Ekkart
Freiheit, Jörn
Desel, Jörg
- DOI
-
10.18452/2472
- URN
-
urn:nbn:de:kobv:11-10076283
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:57 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Walter, Rolf
- Völzer, Hagen
- Vesper, Tobias
- Reisig, Wolfgang
- Kindler, Ekkart
- Freiheit, Jörn
- Desel, Jörg
- Humboldt-Universität zu Berlin
Entstanden
- 1996
Ähnliche Objekte (12)
Memorandum Petrinetzmodelle zur Verifikation verteilter Algorithmen
Halbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen
Halbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen
Einsatz von ILF und DAWN zur Verifikation verteilter Algorithmen
Entwurf und Verifikation von Petrinetzmodellen verteilter Algorithmen durch Verfeinerung unverteilter Algorithmen
Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung
Verifikation verteilter Systeme mittels linearer- und Constraint-Programmierung
Petrinetzmodelle verteilter Algorithmen : Beweistechnik und Intuition
Modellierung verteilter Systeme : Konzeption, formale Spezifikation und Verifikation mit Produktnetzen
Ein Algorithmus zur numerischen Verifikation der äquivarianten Tamagawazahlvermutung für eine Familie von Zahlkörpererweiterungen
Der Einsatz von Petri-Netz-Modellen zum Entwerfen und Bewerten verteilter Algorithmen
Simulation von SIMD-Feldrechnerstrukturen für die Ausführung, Analyse und Verifikation paralleler Algorithmen
Memorandum Petrinetzmodelle zur Verifikation verteilter Algorithmen
Halbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen
Halbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen
Einsatz von ILF und DAWN zur Verifikation verteilter Algorithmen
Entwurf und Verifikation von Petrinetzmodellen verteilter Algorithmen durch Verfeinerung unverteilter Algorithmen
Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung
Verifikation verteilter Systeme mittels linearer- und Constraint-Programmierung
Petrinetzmodelle verteilter Algorithmen : Beweistechnik und Intuition
Modellierung verteilter Systeme : Konzeption, formale Spezifikation und Verifikation mit Produktnetzen
Ein Algorithmus zur numerischen Verifikation der äquivarianten Tamagawazahlvermutung für eine Familie von Zahlkörpererweiterungen
Der Einsatz von Petri-Netz-Modellen zum Entwerfen und Bewerten verteilter Algorithmen
Simulation von SIMD-Feldrechnerstrukturen für die Ausführung, Analyse und Verifikation paralleler Algorithmen
Memorandum Petrinetzmodelle zur Verifikation verteilter Algorithmen
Halbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen
Halbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen
Einsatz von ILF und DAWN zur Verifikation verteilter Algorithmen
Entwurf und Verifikation von Petrinetzmodellen verteilter Algorithmen durch Verfeinerung unverteilter Algorithmen
Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung
Verifikation verteilter Systeme mittels linearer- und Constraint-Programmierung
Petrinetzmodelle verteilter Algorithmen : Beweistechnik und Intuition
Modellierung verteilter Systeme : Konzeption, formale Spezifikation und Verifikation mit Produktnetzen
Ein Algorithmus zur numerischen Verifikation der äquivarianten Tamagawazahlvermutung für eine Familie von Zahlkörpererweiterungen
Der Einsatz von Petri-Netz-Modellen zum Entwerfen und Bewerten verteilter Algorithmen