Abstracting from Register-Transfer to Algorithmic Level for Verification - researchr publication

researchr

You are not signed in
Sign in
Sign up

Jens Schönherr. Abstracting from Register-Transfer to Algorithmic Level for Verification. In Manfred Dietrich, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010. pages 147-156, Fraunhofer Verlag, 2010.

Abstract is missing.

runs on WebDSL