M. Götze,
W. Kattanek
In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Band 2, S. 87-98. Verlag MoPress, Pohrsdorf, 2001
M. Götze,
W. Kattanek
4. GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 19.-21. Februar 2001, Meissen
M. Reinhard,
M. Meister
U. Liebold
T. Cohrs
Dr. D. Nuernbergk
22nd ITG/GI/GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ 2010), 28.02.-02.03.2010, Paderborn