%0 Conference Paper %1 conf/podc/PnueliZ84 %A Pnueli, Amir %A Zuck, Lenore D. %B PODC %D 1984 %E Kameda, Tiko %E Misra, Jayadev %E Peters, Joseph G. %E Santoro, Nicola %I ACM %K dblp %P 12-27 %T Verification of Multiprocess Probabilistic Protocols. %U http://dblp.uni-trier.de/db/conf/podc/podc84.html#PnueliZ84 %@ 0-89791-143-1

@inproceedings{conf/podc/PnueliZ84, added-at = {2018-11-06T00:00:00.000+0100}, author = {Pnueli, Amir and Zuck, Lenore D.}, biburl = {https://www.bibsonomy.org/bibtex/2f0db34d013c22d499b5028a641185a2b/dblp}, booktitle = {PODC}, crossref = {conf/podc/1984}, editor = {Kameda, Tiko and Misra, Jayadev and Peters, Joseph G. and Santoro, Nicola}, ee = {https://doi.org/10.1145/800222.806732}, interhash = {3f543be2ca7e0a20141df55fea088c0c}, intrahash = {f0db34d013c22d499b5028a641185a2b}, isbn = {0-89791-143-1}, keywords = {dblp}, pages = {12-27}, publisher = {ACM}, timestamp = {2018-11-07T14:51:39.000+0100}, title = {Verification of Multiprocess Probabilistic Protocols.}, url = {http://dblp.uni-trier.de/db/conf/podc/podc84.html#PnueliZ84}, year = 1984 }