<?xml version="1.0"?>
<dblp>
<inproceedings key="conf/iccad/FerzliNK07" mdate="2007-12-31">
<author>Imad A. Ferzli</author>
<author>Farid N. Najm</author>
<author>Lars Kruse</author>
<title>A geometric approach for early power grid verification using current constraints.</title>
<pages>40-47</pages>
<year>2007</year>
<crossref>conf/iccad/2007</crossref>
<booktitle>ICCAD</booktitle>
<ee>http://doi.acm.org/10.1145/1326073.1326083</ee>
<url>db/conf/iccad/iccad2007.html#FerzliNK07</url>
</inproceedings>
</dblp>
