%0 Conference Paper %1 conf/birthday/Palem03 %A Palem, Krishna V. %B Verification: Theory and Practice %D 2003 %E Dershowitz, Nachum %I Springer %K dblp %P 524-547 %T Computational Proof as Experiment: Probabilistic Algorithms from a Thermodynamic Perspective. %U http://dblp.uni-trier.de/db/conf/birthday/Manna2003.html#Palem03 %V 2772 %@ 3-540-21002-4

@inproceedings{conf/birthday/Palem03, added-at = {2017-05-23T00:00:00.000+0200}, author = {Palem, Krishna V.}, biburl = {https://www.bibsonomy.org/bibtex/232b6a06d6dc6ce2b16ac875d4e96cc85/dblp}, booktitle = {Verification: Theory and Practice}, crossref = {conf/birthday/2003manna}, editor = {Dershowitz, Nachum}, ee = {https://doi.org/10.1007/978-3-540-39910-0_23}, interhash = {bdc6df02369ab2d5d94fa388a49e2747}, intrahash = {32b6a06d6dc6ce2b16ac875d4e96cc85}, isbn = {3-540-21002-4}, keywords = {dblp}, pages = {524-547}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:19:55.000+0200}, title = {Computational Proof as Experiment: Probabilistic Algorithms from a Thermodynamic Perspective.}, url = {http://dblp.uni-trier.de/db/conf/birthday/Manna2003.html#Palem03}, volume = 2772, year = 2003 }