Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2004
Barthe, G. and Cederquist, J.G. and Tarento, S.
(2004)
A Machine-Checked Formalization of the Generic Model and the Random Oracle Model.
In: 2nd International Joint Conference on Automated Reasoning, IJCAR , 4-8 Jul 2004, Cork, Ireland.
pp. 385-399.
Lecture Notes in Computer Science 3097.
Springer-Verlag.
ISBN 3-540-22345-2
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||