State Traversal guided by Hamming Distance Profiles

Andreas Hett, Christoph Scholl, Bernd Becker. State Traversal guided by Hamming Distance Profiles. In Klaus Waldschmidt, Christoph Grimm, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February 28 - March 1, 2000. pages 57-66, VDE, 2000.

Abstract

Abstract is missing.