| SciPort RLP

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

Formally Testing Fail-Safety of Electronic Purse Protocols.

ASE. 2001 S. 408 - 411

Erscheinungsjahr: 2001

Publikationstyp: Zeitschriftenaufsatz

Geprüft

Bibliothek

Autoren

Jürjens, Jan (Autor)

Wimmel, Guido (Autor)

Verknüpfte Personen

Jan Jürjens
Mitarbeiter/in
(Institut für Softwaretechnik)

Beteiligte Einrichtungen