Hardware Acceleration for Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jens Brandt, Klaus Schneider, Adrian Willenbücher. Hardware Acceleration for Model Checking. In Christoph Scholl, Stefan Disch, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Freiburg, Germany, March 3-5, 2008. pages 179-187, Shaker, 2008.

This author has not been identified. It may be one of the following persons:

Jens Brandt

Look up 'Jens Brandt' in GoogleThis author has not been identified. Look up 'Klaus Schneider' in GoogleThis author has not been identified. Look up 'Adrian Willenbücher' in Google

runs on WebDSL