APA (7th ed.) Citation

Nebel, M. (1994). Ein Produktnetz zur Verifikation von Smartcard-Anwendungen in der STARCOS-Umgebung. Ges. für Mathematik und Datenverarbeitung.

Chicago Style (17th ed.) Citation

Nebel, Markus. Ein Produktnetz Zur Verifikation Von Smartcard-Anwendungen in Der STARCOS-Umgebung. Sankt Augustin: Ges. für Mathematik und Datenverarbeitung, 1994.

MLA (9th ed.) Citation

Nebel, Markus. Ein Produktnetz Zur Verifikation Von Smartcard-Anwendungen in Der STARCOS-Umgebung. Ges. für Mathematik und Datenverarbeitung, 1994.