- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Informatik-Berichte ; Ausgabe 63, 1996
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Humboldt-Universität zu Berlin
- (wann)
-
1996
- Urheber
-
Kindler, Ekkart
Reisig, Wolfgang
Völzer, Hagen
Walter, Rolf
- Beteiligte Personen und Organisationen
- DOI
-
10.18452/2492
- URN
-
urn:nbn:de:kobv:11-100190879
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:52 MEZ
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
- Kindler, Ekkart
- Reisig, Wolfgang
- Völzer, Hagen
- Walter, Rolf
- Humboldt-Universität zu Berlin
- Humboldt-Universität zu Berlin
Entstanden
- 1996
Ähnliche Objekte (12)
Modeling and verification of distributed algorithms in theorem proving environments
Integrating Distributed Algorithms into Distributed Systems
(4) Distributed Algorithms I
Approximating distributed graph algorithms
Petri net based verification of communication protocols specified by language means
Elements of distributed algorithms : modeling and analysis with Petri nets
MIZAR verification of generic algebraic algorithms
Improved distributed fractional coloring algorithms
Implementation and verification of distributed control systems
Heterogeneous analysis and verification for distributed systems
Pervasive verification of distributed real-time systems
Parallel algorithms for verification of large systems
Modeling and verification of distributed algorithms in theorem proving environments
Integrating Distributed Algorithms into Distributed Systems
(4) Distributed Algorithms I
Approximating distributed graph algorithms
Petri net based verification of communication protocols specified by language means
Elements of distributed algorithms : modeling and analysis with Petri nets
MIZAR verification of generic algebraic algorithms
Improved distributed fractional coloring algorithms
Implementation and verification of distributed control systems
Heterogeneous analysis and verification for distributed systems
Pervasive verification of distributed real-time systems
Parallel algorithms for verification of large systems
Modeling and verification of distributed algorithms in theorem proving environments
Integrating Distributed Algorithms into Distributed Systems
(4) Distributed Algorithms I
Approximating distributed graph algorithms
Petri net based verification of communication protocols specified by language means
Elements of distributed algorithms : modeling and analysis with Petri nets
MIZAR verification of generic algebraic algorithms
Improved distributed fractional coloring algorithms
Implementation and verification of distributed control systems
Heterogeneous analysis and verification for distributed systems
Pervasive verification of distributed real-time systems