%0 Journal Article %1 journals/tcad/WangHCPW12 %A Wang, Yuanzhe %A Hu, Xiang %A Cheng, Chung-Kuan %A Pang, Grantham K. H. %A Wong, Ngai %D 2012 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K dblp %N 1 %P 109-120 %T A Realistic Early-Stage Power Grid Verification Algorithm Based on Hierarchical Constraints. %U http://dblp.uni-trier.de/db/journals/tcad/tcad31.html#WangHCPW12 %V 31

@article{journals/tcad/WangHCPW12, added-at = {2020-09-24T00:00:00.000+0200}, author = {Wang, Yuanzhe and Hu, Xiang and Cheng, Chung-Kuan and Pang, Grantham K. H. and Wong, Ngai}, biburl = {https://www.bibsonomy.org/bibtex/2d870f8ee38f04ba0ff29370ddac56b2f/dblp}, ee = {https://doi.org/10.1109/TCAD.2011.2167328}, interhash = {09fe5d3048e2c32fa4c3c7eeeba388fd}, intrahash = {d870f8ee38f04ba0ff29370ddac56b2f}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {dblp}, number = 1, pages = {109-120}, timestamp = {2020-09-25T11:44:38.000+0200}, title = {A Realistic Early-Stage Power Grid Verification Algorithm Based on Hierarchical Constraints.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad31.html#WangHCPW12}, volume = 31, year = 2012 }