%0 Conference Paper %1 conf/dac/ArnoldO82 %A Arnold, Michael H. %A Ousterhout, John K. %B DAC %D 1982 %E Crabbe, James S. %E Radke, Charles E. %E Ofek, Hillel %I ACM/IEEE %K dblp %P 530-536 %T Lyra: A new approach to geometric layout rule checking. %U http://dblp.uni-trier.de/db/conf/dac/dac1982.html#ArnoldO82

@inproceedings{conf/dac/ArnoldO82, added-at = {2018-11-06T00:00:00.000+0100}, author = {Arnold, Michael H. and Ousterhout, John K.}, biburl = {https://www.bibsonomy.org/bibtex/234589b28621452ca2ce5d54b4530801a/dblp}, booktitle = {DAC}, crossref = {conf/dac/1982}, editor = {Crabbe, James S. and Radke, Charles E. and Ofek, Hillel}, ee = {https://doi.org/10.1145/800263.809255}, interhash = {bc7766a961bd2fadbe54ad2bebffc669}, intrahash = {34589b28621452ca2ce5d54b4530801a}, keywords = {dblp}, pages = {530-536}, publisher = {ACM/IEEE}, timestamp = {2018-11-07T16:14:07.000+0100}, title = {Lyra: A new approach to geometric layout rule checking.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac1982.html#ArnoldO82}, year = 1982 }