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.
@inproceedings{WimmerHB07-0,
title = {Forwarding, Splitting, and Block Ordering to Optimize BDD-based Bisimulation Computation},
author = {Ralf Wimmer and Marc Herbstritt and Bernd Becker},
year = {2007},
researchr = {https://researchr.org/publication/WimmerHB07-0},
cites = {0},
citedby = {0},
pages = {203-212},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Erlangen, Germany, March 5-7, 2007},
editor = {Christian Haubelt and Jürgen Teich},
publisher = {Shaker},
}