Wolfgang Günther, Andreas Hett, Bernd Becker. Application of linearly transformed BDDs in sequential verification. In Proceedings of ASP-DAC 2001, Asia and South Pacific Design Automation Conference 2001, January 30-February 2, 2001, Yokohama, Japan. pages 91-96, ACM, 2001. [doi]
Abstract is missing.