- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Deutsch
- Erschienen in
-
Informatik-Berichte ; Ausgabe 99, 1998
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Humboldt-Universität zu Berlin
- (wann)
-
1998
- Urheber
-
Baar, Thomas
Kindler, Ekkart
- DOI
-
10.18452/2453
- URN
-
urn:nbn:de:kobv:11-10043278
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:46 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
- Baar, Thomas
- Kindler, Ekkart
- Humboldt-Universität zu Berlin
Entstanden
- 1998
Ähnliche Objekte (12)
Petrinetzmodelle zur Verifikation Verteilter Algorithmen
Memorandum Petrinetzmodelle zur Verifikation verteilter Algorithmen
Halbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen
Halbordnungsbasierte Verfeinerung 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
Der Einsatz von Petri-Netz-Modellen zum Entwerfen und Bewerten verteilter Algorithmen
DAWN | DAWN BNS
Freiheitsgrade beim Einsatz Verteilter Disks
Petrinetzmodelle zur Verifikation Verteilter Algorithmen
Memorandum Petrinetzmodelle zur Verifikation verteilter Algorithmen
Halbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen
Halbordnungsbasierte Verfeinerung 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
Der Einsatz von Petri-Netz-Modellen zum Entwerfen und Bewerten verteilter Algorithmen
DAWN | DAWN BNS
Freiheitsgrade beim Einsatz Verteilter Disks
Petrinetzmodelle zur Verifikation Verteilter Algorithmen
Memorandum Petrinetzmodelle zur Verifikation verteilter Algorithmen
Halbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen
Halbordnungsbasierte Verfeinerung 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
Der Einsatz von Petri-Netz-Modellen zum Entwerfen und Bewerten verteilter Algorithmen
DAWN | DAWN BNS