BIBTEX-
Jan Jürjens

---

@inproceedings{AbaJur00,
       title={Formal Eavesdropping and its Computational Interpretation},
       author={M. Abadi and J. J{\"u}rjens},
       booktitle = {Theoretical Aspects of Computer Software (4th
International Symposium, TACS '01)},
       year = {2001},
       OPTaddress={Sendai, Japan},
       OPTmonth={ October 29-31},
       editor = {N. Kobayashi and B.C. Pierce},
       volume = {2215},
       series = lncs,
       publisher = sv,
       pages={82--94},
       url = {http://www.jurjens.de/jan},
}

---

Jan Jürjens