1994
Report
Title

Ein Produktnetz zur Verifikation von Smartcard-Anwendungen in der STARCOS-Umgebung

Author(s)
Nebel, M.
Corporate Author
Gesellschaft für Mathematik und Datenverarbeitung mbH -GMD-
Publisher
Publishing Place
St.Augustin
Language
German