%0 Conference Paper %1 conf/dac/MetosO83 %A Metos, Jose S. %A Oldfield, John V. %B DAC %D 1983 %E Radke, Charles E. %I ACM/IEEE %K dblp %P 567-570 %T Binary Decision Diagrams: From abstract representations to physical implementations. %U http://dblp.uni-trier.de/db/conf/dac/dac1983.html#MetosO83 %@ 0-8186-0026-8

@inproceedings{conf/dac/MetosO83, added-at = {2012-03-01T00:00:00.000+0100}, author = {Metos, Jose S. and Oldfield, John V.}, biburl = {https://www.bibsonomy.org/bibtex/29a9460df8456fd2d5feb949277b50a46/dblp}, booktitle = {DAC}, crossref = {conf/dac/1983}, editor = {Radke, Charles E.}, ee = {http://dl.acm.org/citation.cfm?id=800725}, interhash = {02866896978623ff038e8a46b11f9d06}, intrahash = {9a9460df8456fd2d5feb949277b50a46}, isbn = {0-8186-0026-8}, keywords = {dblp}, pages = {567-570}, publisher = {ACM/IEEE}, timestamp = {2012-03-02T11:35:01.000+0100}, title = {Binary Decision Diagrams: From abstract representations to physical implementations.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac1983.html#MetosO83}, year = 1983 }