Tobias Dornes, Hans Eveking. Formale Verifikation von Systemeigenschaften unter Verwendung normalisierter formaler Spezifikationen. In Manfred Dietrich, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010. pages 47-56, Fraunhofer Verlag, 2010.
Abstract is missing.