 |
Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
 |
Die bibliographische Datenbank LEABib
Suchen •
Liste der Journale •
Liste der Serien •
Liste der Konferenzen •
Ausgewählte Publikationen 
|
Hilfe 
|
 |
|
| Suche: Citkey="Reisig/95" |
|
Correctness proofs of distributed algorithms
W. Reisig
Proceedings of the International Workshop on Theory and Practice in Distributed Systems (Dagstuhl Castle, Germany, September 5-9, 1994)
Lecture Notes in Computer Science
938
, 1995, pp. 164-177
| Editors | K.P. Birman, F. Mattern, A. Schiper | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest | |
|
|
|
|