Skip to content

Power grid verification using node and branch dominance.

Nahi H. Abdul Ghani, Farid N. Najm

VenueA*DAC
Year2011
ProceedingsDAC

Browse the full DAC paper archive.