Binary decision diagrams in theory and practice. (2001)

by R Drechsler
Venue:International Journal on Software Tools for Technology Transfer (STTT),