Application of linearly transformed BDDs in sequential verification.

Wolfgang Gnther, Andreas Hett, Bernd Becker

Browse the full ASPDAC paper archive.