Jens Schönherr. Ein gemeinsamer Ansatz für die formale und simulative Verifikation digitaler Schaltungsdesigns. In Carsten Gremzow, Nico Moser, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Berlin, Germany, March 2-4, 2009. pages 37-46, Universitätsbibliothek Berlin, Germany, 2009.
Abstract is missing.