Equivalence Checking for Partial Implementations Revisited - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Karina Gitina, Sven Reimer, Matthias Sauer, Ralf Wimmer, Christoph Scholl, Bernd Becker. Equivalence Checking for Partial Implementations Revisited. In Christian Haubelt, Dirk Timmermann, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Warnemünde, Germany, March 12-14, 2013. pages 61-70, Institut für Angewandte Mikroelektronik und Datentechnik, Fakultät für Informatik und Elektrotechnik, Universität Rostock, 2013.

This author has not been identified. Look up 'Karina Gitina' in GoogleThis author has not been identified. Look up 'Sven Reimer' in GoogleThis author has not been identified. Look up 'Matthias Sauer' in GoogleThis author has not been identified. Look up 'Ralf Wimmer' in GoogleThis author has not been identified. Look up 'Christoph Scholl' in GoogleThis author has not been identified. Look up 'Bernd Becker' in Google

runs on WebDSL