Christian Haubelt, Jürgen Teich DATE, University of Paderborn Paderborn, Germany {haubelt, teich}@date.upb.de Kai Richter, Rolf Ernst IDA, Technical University of Braunschweig Braunschweig, Germany {richter, ernst}@ida.ing.tu-bs.de In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. By Jürgen Ruf (Editor), GIITGGMM-Workshop, Shaker Verlag, Aache...
