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]
@inproceedings{GhaniN11-0,
title = {Power grid verification using node and branch dominance},
author = {Nahi H. Abdul Ghani and Farid N. Najm},
year = {2011},
doi = {10.1145/2024724.2024879},
url = {http://doi.acm.org/10.1145/2024724.2024879},
researchr = {https://researchr.org/publication/GhaniN11-0},
cites = {0},
citedby = {0},
pages = {682-687},
booktitle = {Proceedings of the 48th Design Automation Conference, DAC 2011, San Diego, California, USA, June 5-10, 2011},
editor = {Leon Stok and Nikil D. Dutt and Soha Hassoun},
publisher = {ACM},
isbn = {978-1-4503-0636-2},
}