Results 341 to 350 of about 3,746,779 (357)
Some of the next articles are maybe not open access.
Related searches:
Related searches:
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, 2011Hubert Comon-Lundh, Vxe9ronique Cortier
openaire
Proceedings of the 24th Annual Symposium on Theoretical Aspects of Computer Science
2007Weil, Pascal, Thomas, Wolfgang
openaire +1 more source
2019 International Conference on Theoretical and Applicative Aspects of Computer Science (ICTAACS)
2019openaire +1 more source
Proceedings of the 25th International Symposium on Theoretical Aspects of Computer Science
Max Crochemore+4 more
openalex
26th International Symposium on Theoretical Aspects of Computer Science (STACS 2009)
Julien Clément+2 more
openalex
Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science
Franz–Josef Brandenburg+2 more
openalex