- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Deutsch
- Bibliographic citation
-
Informatik-Berichte ; Ausgabe 67, 1996
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Humboldt-Universität zu Berlin
- (when)
-
1996
- Creator
-
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
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:57 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Walter, Rolf
- Völzer, Hagen
- Vesper, Tobias
- Reisig, Wolfgang
- Kindler, Ekkart
- Freiheit, Jörn
- Desel, Jörg
- Humboldt-Universität zu Berlin
Time of origin
- 1996
Other Objects (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