Results 341 to 350 of about 3,746,779 (357)

28th Annual Symposium on Theoretical Aspects of Computer Science (STACS'11)

How to prove security of communication protocols? A discussion on the soundness of formal models w.r, 2011
Hubert Comon-Lundh, Vxe9ronique Cortier
openaire  

Symposium on Theoretical Aspects of Computer Science

open access: closed, 2008
Max Crochemore   +4 more
openalex  

Proceedings of the 25th International Symposium on Theoretical Aspects of Computer Science

open access: closed, 2008
Max Crochemore   +4 more
openalex  

26th International Symposium on Theoretical Aspects of Computer Science (STACS 2009)

open access: closed, 2009
Julien ClĂ©ment   +2 more
openalex  

Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science

open access: closed, 1987
Franz–Josef Brandenburg   +2 more
openalex  

Home - About - Disclaimer - Privacy