Nebel, M. (1994). Ein Produktnetz zur Verifikation von Smartcard-Anwendungen in der STARCOS-Umgebung. Ges. für Mathematik und Datenverarbeitung.
Chicago-Zitierstil (17. Ausg.)Nebel, Markus. Ein Produktnetz Zur Verifikation Von Smartcard-Anwendungen in Der STARCOS-Umgebung. Sankt Augustin: Ges. für Mathematik und Datenverarbeitung, 1994.
MLA-Zitierstil (9. Ausg.)Nebel, Markus. Ein Produktnetz Zur Verifikation Von Smartcard-Anwendungen in Der STARCOS-Umgebung. Ges. für Mathematik und Datenverarbeitung, 1994.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.