Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Formal Eavesdropping and Its Computational Interpretation.

TACS. 2001 S. 82 - 94

Erscheinungsjahr: 2001

Publikationstyp: Zeitschriftenaufsatz

GeprüftBibliothek

Autoren

Abadi, Martín (Autor)
Jürjens, Jan (Autor)

Verknüpfte Personen

Jan Jürjens

Beteiligte Einrichtungen

Logo Institut für Softwaretechnik