%0 Journal Article %1 journals/tcad/ModarresL87 %A Modarres, Hossein %A Lomax, Ronald J. %D 1987 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K dblp %N 4 %P 561-573 %T A Formal Approach to Design-Rule Checking. %U http://dblp.uni-trier.de/db/journals/tcad/tcad6.html#ModarresL87 %V 6

@article{journals/tcad/ModarresL87, added-at = {2020-09-24T00:00:00.000+0200}, author = {Modarres, Hossein and Lomax, Ronald J.}, biburl = {https://www.bibsonomy.org/bibtex/2e4e501f564910b3bcdba4817944f1cd9/dblp}, ee = {https://doi.org/10.1109/TCAD.1987.1270303}, interhash = {5cb7c3f50ea34f05f3b05079884e01cb}, intrahash = {e4e501f564910b3bcdba4817944f1cd9}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {dblp}, number = 4, pages = {561-573}, timestamp = {2020-09-25T11:46:06.000+0200}, title = {A Formal Approach to Design-Rule Checking.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad6.html#ModarresL87}, volume = 6, year = 1987 }