Items Authored or Edited by Jan Jurjens
Number of items: 9.
Abadi, Martin and Jurjens, Jan
Formal eavesdropping and its computational interpretation.
In: Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001, Proceedings (Kobayashi, Naoki and Pierce, Benjamin C. eds.), Lecture Notes In Computer Science, Springer, Berlin, pp. 82–94.