Algorithmic Aspects of Symbolic Switch Network Analysis (1987)

by Randal E. Bryant
Venue:IEEE Trans. CAD/IC