Results 351 to 357 of about 3,746,779 (357)
Some of the next articles are maybe not open access.
Special issue : Theoretical Aspects of Computer Science, Theory of Computing Systems, vol 46(3)
2010Weil, Pascal, Thomas, Wolfgang
openaire +1 more source
Special issue : Theoretical Aspects of Computer Science, Theory of Computing Systems, vol 47(3)
2010Albers, Susanne, Weil, Pascal
openaire +1 more source
, 1992 28th Annual Symposium on Theoretical Aspects of Computer Science (STACS11)
How to prove security of communication protocols? A discussion on the soundness of formal models w.ropenaire +1 more source
Proceedings of the 25th Annual Symposium on Theoretical Aspects of Computer Science - STACS 2008
2008Weil, Pascal, Albers, Susanne
openaire +1 more source
Theoretical Computer Science Volume 376, Issue 3 - Fundamental Aspects of Software Engineering
2007CERIOLI, MAURA +2 more
openaire +1 more source