Correctness of programs and protocols through randomization

Extended abstract
  • Michael O. Rabin
Keynote Address

DOI: 10.1007/3-540-63875-X_38

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1345)
Cite this paper as:
Rabin M.O. (1997) Correctness of programs and protocols through randomization. In: Shyamasundar R.K., Ueda K. (eds) Advances in Computing Science — ASIAN'97. ASIAN 1997. Lecture Notes in Computer Science, vol 1345. Springer, Berlin, Heidelberg

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1997

Authors and Affiliations

  • Michael O. Rabin
    • 1
  1. 1.Harvard University and the Hebrew University of JerusalemIsrael

Personalised recommendations