%0 Conference Paper %1 conf/podc/Saias92 %A Saias, Isaac %B PODC %D 1992 %E Hutchinson, Norman C. %I ACM %K dblp %P 263-274 %T Proving Probabilistic Correctness Statements: the Case of Rabin's Algorithm for Mutual Exclusion. %U http://dblp.uni-trier.de/db/conf/podc/podc92.html#Saias92 %@ 0-89791-495-3

@inproceedings{conf/podc/Saias92, added-at = {2018-11-06T00:00:00.000+0100}, author = {Saias, Isaac}, biburl = {https://www.bibsonomy.org/bibtex/23347540237e8eab7636c7505b75839e4/dblp}, booktitle = {PODC}, crossref = {conf/podc/1992}, editor = {Hutchinson, Norman C.}, ee = {https://doi.org/10.1145/135419.135466}, interhash = {09d2442c9530492c82f1bf860a326942}, intrahash = {3347540237e8eab7636c7505b75839e4}, isbn = {0-89791-495-3}, keywords = {dblp}, pages = {263-274}, publisher = {ACM}, timestamp = {2018-11-07T14:52:24.000+0100}, title = {Proving Probabilistic Correctness Statements: the Case of Rabin's Algorithm for Mutual Exclusion.}, url = {http://dblp.uni-trier.de/db/conf/podc/podc92.html#Saias92}, year = 1992 }