Alexander Krupp, Wolfgang Müller 0003. Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten. In Rolf Drechsler, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Bremen, Germany, February 24-25, 2003. pages 219-228, Shaker, 2003.
Abstract is missing.