Matthias Mutz, Sebastian Steibl. Formale Verifikation der Architekturverbesserung eines Viterbi Decoder IP Blocks. In Matthias Mutz, Nikolaus Lange, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Braunschweig, Germany, February 22-24, 1999. pages 61-70, Shaker, 1999.
Abstract is missing.