Forwarding, Splitting, and Block Ordering to Optimize BDD-based Bisimulation Computation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ralf Wimmer, Marc Herbstritt, Bernd Becker. Forwarding, Splitting, and Block Ordering to Optimize BDD-based Bisimulation Computation. In Christian Haubelt, Jürgen Teich, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Erlangen, Germany, March 5-7, 2007. pages 203-212, Shaker, 2007.

This author has not been identified. Look up 'Ralf Wimmer' in GoogleThis author has not been identified. Look up 'Marc Herbstritt' in GoogleThis author has not been identified. Look up 'Bernd Becker' in Google

runs on WebDSL