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

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.

Abstract

Abstract is missing.