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.
@inproceedings{HettSB00-0,
title = {State Traversal guided by Hamming Distance Profiles},
author = {Andreas Hett and Christoph Scholl and Bernd Becker},
year = {2000},
researchr = {https://researchr.org/publication/HettSB00-0},
cites = {0},
citedby = {0},
pages = {57-66},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February 28 - March 1, 2000},
editor = {Klaus Waldschmidt and Christoph Grimm},
publisher = {VDE},
}