Ochsenschläger, P.P.Ochsenschläger2022-03-092022-03-091994https://publica.fraunhofer.de/handle/publica/322121de005004Verifikation von SmartCard-Anwendungen mit Produktnetzenconference paper