Checking Equivalence for Partial Implementations

Christoph Scholl, Bernd Becker. Checking Equivalence for Partial Implementations. In Dieter Monjau, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Mei├čen, Germany, February 19-21, 2001. pages 31-43, MoPress, 2001.

Abstract

Abstract is missing.