%0 Conference Paper %1 conf/forte/AbadiMMR13 %A Abadi, Martín %A McSherry, Frank %A Murray, Derek Gordon %A Rodeheffer, Thomas L. %B FMOODS/FORTE %D 2013 %E Beyer, Dirk %E Boreale, Michele %I Springer %K dblp %P 5-19 %T Formal Analysis of a Distributed Algorithm for Tracking Progress. %U http://dblp.uni-trier.de/db/conf/forte/forte2013.html#AbadiMMR13 %V 7892 %@ 978-3-642-38591-9

@inproceedings{conf/forte/AbadiMMR13, added-at = {2018-06-26T00:00:00.000+0200}, author = {Abadi, Martín and McSherry, Frank and Murray, Derek Gordon and Rodeheffer, Thomas L.}, biburl = {https://www.bibsonomy.org/bibtex/219dd4bcbdf99f9f78ee3d59c852f22eb/dblp}, booktitle = {FMOODS/FORTE}, crossref = {conf/forte/2013}, editor = {Beyer, Dirk and Boreale, Michele}, ee = {https://doi.org/10.1007/978-3-642-38592-6_2}, interhash = {88606c10621613624b97aed754bd019f}, intrahash = {19dd4bcbdf99f9f78ee3d59c852f22eb}, isbn = {978-3-642-38591-9}, keywords = {dblp}, pages = {5-19}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T11:59:31.000+0200}, title = {Formal Analysis of a Distributed Algorithm for Tracking Progress.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte2013.html#AbadiMMR13}, volume = 7892, year = 2013 }