Correctness of programs and protocols through randomization

Michael O. Rabin

doi:10.1007/3-540-63875-X_38

Correctness of programs and protocols through randomization

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Advances in Computing Science - ASIAN 1997 - 3rd Asian Computing Science Conference, Proceedings
Editors	K. Ueda, R.K. Shyamasundar
Publisher	Springer Verlag
Pages	1-3
Number of pages	3
ISBN (Print)	354063875X, 9783540638759
DOIs	https://doi.org/10.1007/3-540-63875-X_38
State	Published - 1997
Externally published	Yes
Event	3rd Asian Computing Science Conference, ASIAN 1997 - Kathmandu, Nepal Duration: 9 Dec 1997 → 11 Dec 1997

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1345
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	3rd Asian Computing Science Conference, ASIAN 1997
Country/Territory	Nepal
City	Kathmandu
Period	9/12/97 → 11/12/97

Access to Document

10.1007/3-540-63875-X_38

Cite this

Rabin, M. O. (1997). Correctness of programs and protocols through randomization. In K. Ueda, & R. K. Shyamasundar (Eds.), Advances in Computing Science - ASIAN 1997 - 3rd Asian Computing Science Conference, Proceedings (pp. 1-3). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1345). Springer Verlag. https://doi.org/10.1007/3-540-63875-X_38

Rabin, Michael O. / Correctness of programs and protocols through randomization. Advances in Computing Science - ASIAN 1997 - 3rd Asian Computing Science Conference, Proceedings. editor / K. Ueda ; R.K. Shyamasundar. Springer Verlag, 1997. pp. 1-3 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{31c1c5a710594487abb3950d232d95da,

title = "Correctness of programs and protocols through randomization",

author = "Rabin, \{Michael O.\}",

year = "1997",

doi = "10.1007/3-540-63875-X\_38",

language = "אנגלית",

isbn = "354063875X",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "1--3",

editor = "K. Ueda and R.K. Shyamasundar",

booktitle = "Advances in Computing Science - ASIAN 1997 - 3rd Asian Computing Science Conference, Proceedings",

address = "גרמניה",

note = "3rd Asian Computing Science Conference, ASIAN 1997 ; Conference date: 09-12-1997 Through 11-12-1997",

}

Rabin, MO 1997, Correctness of programs and protocols through randomization. in K Ueda & RK Shyamasundar (eds), Advances in Computing Science - ASIAN 1997 - 3rd Asian Computing Science Conference, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1345, Springer Verlag, pp. 1-3, 3rd Asian Computing Science Conference, ASIAN 1997, Kathmandu, Nepal, 9/12/97. https://doi.org/10.1007/3-540-63875-X_38

Correctness of programs and protocols through randomization. / Rabin, Michael O.
Advances in Computing Science - ASIAN 1997 - 3rd Asian Computing Science Conference, Proceedings. ed. / K. Ueda; R.K. Shyamasundar. Springer Verlag, 1997. p. 1-3 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1345).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Correctness of programs and protocols through randomization

AU - Rabin, Michael O.

PY - 1997

Y1 - 1997

UR - https://www.scopus.com/pages/publications/84957646323

U2 - 10.1007/3-540-63875-X_38

DO - 10.1007/3-540-63875-X_38

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:84957646323

SN - 354063875X

SN - 9783540638759

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 1

EP - 3

BT - Advances in Computing Science - ASIAN 1997 - 3rd Asian Computing Science Conference, Proceedings

A2 - Ueda, K.

A2 - Shyamasundar, R.K.

PB - Springer Verlag

T2 - 3rd Asian Computing Science Conference, ASIAN 1997

Y2 - 9 December 1997 through 11 December 1997

ER -

Rabin MO. Correctness of programs and protocols through randomization. In Ueda K, Shyamasundar RK, editors, Advances in Computing Science - ASIAN 1997 - 3rd Asian Computing Science Conference, Proceedings. Springer Verlag. 1997. p. 1-3. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-63875-X_38

Correctness of programs and protocols through randomization

Publication series

Conference

Access to Document

Other files and links

Cite this