Publica
Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten. Verifikation von SmartCard-Anwendungen mit Produktnetzen
| Struif, B. ; Gesellschaft für Mathematik und Datenverarbeitung mbH -GMD-:
4. GMD-SmartCard Workshop mit Technik- und Design-Ausstellung : 08. und 09. Februar 1994, GMD, Darmstadt ; Tagungsband
Sankt Augustin: GMD Forschungszentrum Informationstechnik, 1994 |
| SmartCard Workshop <4, 1994, Darmstadt> |
|
| German |
| Conference Paper |
| Fraunhofer SIT () |