Hans-Jürgen Herpel, Norbert Wehn, Manfred Glesner. Verifikation mikroelektronischer Systeme zur Prozeßsteuerung durch schnelle Prototypenrealisierung. In Djamshid Tavangarian, editor, 7. Symposium Simulationstechnik: Fortschritte in der Simulationstechnik, ASIM 1991, Hagen, Germany, September, 1991. pages 567-572, Vieweg, 1991.
Abstract is missing.