Algorithmic Aspects of Symbolic Switch Network Analysis (1987)

by R E Bryant
Venue:IEEE Transactions on Computer-Aided Design