%0 Conference Paper %1 conf/iccad/LahtiK90 %A Lahti, Jukka %A Kivelä, Jorma %B ICCAD %D 1990 %I IEEE Computer Society %K dblp %P 474-477 %T Logic Compilation from Graphical Dependency Notation. %U http://dblp.uni-trier.de/db/conf/iccad/iccad1990.html#LahtiK90 %@ 0-8186-2055-2

@inproceedings{conf/iccad/LahtiK90, added-at = {2023-03-24T00:00:00.000+0100}, author = {Lahti, Jukka and Kivelä, Jorma}, biburl = {https://www.bibsonomy.org/bibtex/27b0ccd2bee4b5a7a58a37ad00b03d6d8/dblp}, booktitle = {ICCAD}, crossref = {conf/iccad/1990}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICCAD.1990.129957}, interhash = {f50ff118a72404ab87d437c6868712dc}, intrahash = {7b0ccd2bee4b5a7a58a37ad00b03d6d8}, isbn = {0-8186-2055-2}, keywords = {dblp}, pages = {474-477}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T20:49:37.000+0200}, title = {Logic Compilation from Graphical Dependency Notation.}, url = {http://dblp.uni-trier.de/db/conf/iccad/iccad1990.html#LahtiK90}, year = 1990 }