Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2006
Corin, R.J. and den Hartog, J.I.
(2006)
A Probabilistic Hoare-style logic for Game-based Cryptographic Proofs.
In: ICALP 2006 track C, 9-13 Jul 2006, Venice, Italy.
pp. 252-263.
Lecture Notes in Computer Science 4052.
Springer-Verlag.
ISBN 3-540-35907-9
This list was generated on Thu May 24 05:43:56 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||