Analysis of a multistage interconnection network using binary decision diagrams (BDD) | IEEE Conference Publication | IEEE Xplore