Mack W. Alford, Jean-Pierre Ansart, Günter Hommel, Leslie Lamport, Barbara Liskov, Geoff P. Mullery, Fred B. Schneider. Distributed Systems: Methods and Tools for Specification, An Advanced Course, April 3-12, 1984 and April 16-25, 1985 Munich. Volume 190 of Lecture Notes in Computer Science, Springer, 1985.
Conference: ac
@proceedings{ac:1984ds,
title = {Distributed Systems: Methods and Tools for Specification, An Advanced Course, April 3-12, 1984 and April 16-25, 1985 Munich},
author = {Mack W. Alford and Jean-Pierre Ansart and Günter Hommel and Leslie Lamport and Barbara Liskov and Geoff P. Mullery and Fred B. Schneider},
year = {1985},
researchr = {https://researchr.org/publication/ac%3A1984ds},
cites = {0},
citedby = {0},
booktitle = {Distributed Systems: Methods and Tools for Specification, An Advanced Course, April 3-12, 1984 and April 16-25, 1985 Munich},
volume = {190},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-15216-4},
}