Formal Eavesdropping and Its Computational Interpretation
Naoki Kobayashi; Benjamin C. Pierce (Hrsg). Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001 Sendai, Japan, October 29–31, 2001 Proceedings. Berlin: Springer 2001 S. 82 - 94
Erscheinungsjahr: 2001
ISBN/ISSN: 978-3-540-42736-0
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/3-540-45500-0_4
| Geprüft | Bibliothek |
