In: GMD-Studien Nr. 225. 1993. In German.
Abstract: Gegenstand der Arbeit ist die Verifikation der Smartcard-Anwendung elektronisches Rezept mittels Produktnetzen. Eine Smartcard-Anwendung wird als eine verteilte Anwendung betrachtet. Die hierbei entstehenden Probleme werden mit Produktnetzen spezifiziert und durch den sogenannten Erreichbarkeitsgraphen formal beschrieben.