Modeling of an Efficient 4 to 1 Multiplexer for Quantum-Dot Cellular Automata | IEEE Conference Publication | IEEE Xplore