%0 Conference Paper %1 conf/podc/LynchT87 %A Lynch, Nancy A. %A Tuttle, Mark R. %B PODC %D 1987 %E Schneider, Fred B. %I ACM %K dblp %P 137-151 %T Hierarchical Correctness Proofs for Distributed Algorithms. %U http://dblp.uni-trier.de/db/conf/podc/podc87.html#LynchT87 %@ 0-89791-239-X

@inproceedings{conf/podc/LynchT87, added-at = {2018-11-06T00:00:00.000+0100}, author = {Lynch, Nancy A. and Tuttle, Mark R.}, biburl = {https://www.bibsonomy.org/bibtex/21b36581a4a1e6faa3cc7a86205d96620/dblp}, booktitle = {PODC}, crossref = {conf/podc/1987}, editor = {Schneider, Fred B.}, ee = {https://doi.org/10.1145/41840.41852}, interhash = {995ec79bb8ff009aa84b75cadf398af5}, intrahash = {1b36581a4a1e6faa3cc7a86205d96620}, isbn = {0-89791-239-X}, keywords = {dblp}, pages = {137-151}, publisher = {ACM}, timestamp = {2018-11-07T14:51:25.000+0100}, title = {Hierarchical Correctness Proofs for Distributed Algorithms.}, url = {http://dblp.uni-trier.de/db/conf/podc/podc87.html#LynchT87}, year = 1987 }