Nahi H. Abdul Ghani, Farid N. Najm. Power grid verification using node and branch dominance. In Leon Stok, Nikil D. Dutt, Soha Hassoun, editors, Proceedings of the 48th Design Automation Conference, DAC 2011, San Diego, California, USA, June 5-10, 2011. pages 682-687, ACM, 2011. [doi]
Abstract is missing.