@inproceedings{DBLP:conf/podc/ClarkeGB86,
author = {Edmund M. Clarke and
Orna Grumberg and
Michael C. Browne},
title = {Reasoning About Networks With Many Identical Finite-State
Processes},
booktitle = {PODC},
year = {1986},
pages = {240-248},
ee = {http://doi.acm.org/10.1145/10590.10611},
crossref = {DBLP:conf/podc/1986},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/podc/1986,
editor = {Joseph Y. Halpern},
title = {Proceedings of the Fifth Annual ACM Symposium on Principles
of Distributed Computing, Calgary, Alberta, Canada, August
11-13, 1986},
booktitle = {PODC},
publisher = {ACM},
year = {1986},
isbn = {0-89791-198-9},
ee = {http://dl.acm.org/citation.cfm?id=10590},
bibsource = {DBLP, http://dblp.uni-trier.de}
}