Ralf Wimmer, Marc Herbstritt, Bernd Becker. Optimization techniques for BDD-based bisimulation computation. In Hai Zhou, Enrico Macii, Zhiyuan Yan, Yehia Massoud, editors, Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, Stresa, Lago Maggiore, Italy, March 11-13, 2007. pages 405-410, ACM, 2007. [doi]
Abstract is missing.