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. 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