R. Peukert
发表
H. Prömpeler,
H. Madjar,
H. Hillemanns,
1995
.
Karsten Henke,
Heinz-Dietrich Wuttke,
R. Peukert,
2001,
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen.
A. Bois,
H. Prömpeler,
M. Breckwoldt,
1993
.