- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Informatik-Berichte ; Ausgabe 63, 1996
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Humboldt-Universität zu Berlin
- (when)
-
1996
- Creator
-
Kindler, Ekkart
Reisig, Wolfgang
Völzer, Hagen
Walter, Rolf
- Contributor
- DOI
-
10.18452/2492
- URN
-
urn:nbn:de:kobv:11-100190879
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:52 PM CET
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
- Kindler, Ekkart
- Reisig, Wolfgang
- Völzer, Hagen
- Walter, Rolf
- Humboldt-Universität zu Berlin
- Humboldt-Universität zu Berlin
Time of origin
- 1996
Other Objects (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