Distributed Systems: Methods and Tools for Specification, An Advanced Course, April 3-12, 1984 and April 16-25, 1985 Munich.
Lecture Notes in Computer Science 190 Springer 1985, ISBN 3-540-15216-4 BibTeX
@proceedings{DBLP:conf/ac/1984ds,
author = {Mack W. Alford and
Jean-Pierre Ansart and
G{\"u}nter Hommel and
Leslie Lamport and
Barbara Liskov and
Geoff P. Mullery and
Fred B. Schneider},
title = {Distributed Systems: Methods and Tools for Specification, An
Advanced Course, April 3-12, 1984 and April 16-25, 1985 Munich},
booktitle = {Advanced Course: Distributed Systems},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {190},
year = {1985},
isbn = {3-540-15216-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
References
Copyright © Sat May 16 22:55:39 2009
by Michael Ley (ley@uni-trier.de)