Starten Sie Ihre Suche...


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

A domain-specific language for cryptographic protocols based on streams.

J. Log. Algebr. Program. Bd. 78. H. 2. 2009 S. 54 - 73

Erscheinungsjahr: 2009

Publikationstyp: Zeitschriftenaufsatz

GeprüftBibliothek

Autoren

Jürjens, Jan (Autor)

Verknüpfte Personen

Jan Jürjens

Beteiligte Einrichtungen

Logo Institut für Softwaretechnik