%0 Conference Paper %1 conf/dac/CortadellaKKLY96 %A Cortadella, Jordi %A Kishinevsky, Michael %A Kondratyev, Alex %A Lavagno, Luciano %A Yakovlev, Alexandre %B DAC %D 1996 %E Pennino, Thomas %E Yoffa, Ellen J. %I ACM Press %K dblp %P 63-66 %T Methodology and Tools for State Encoding in Asynchronous Circuit Synthesis. %U http://dblp.uni-trier.de/db/conf/dac/dac96.html#CortadellaKKLY96 %@ 0-89791-779-0

@inproceedings{conf/dac/CortadellaKKLY96, added-at = {2017-03-16T00:00:00.000+0100}, author = {Cortadella, Jordi and Kishinevsky, Michael and Kondratyev, Alex and Lavagno, Luciano and Yakovlev, Alexandre}, biburl = {https://www.bibsonomy.org/bibtex/25a5b914439917311804f40b6b5970fa4/dblp}, booktitle = {DAC}, crossref = {conf/dac/1996}, editor = {Pennino, Thomas and Yoffa, Ellen J.}, ee = {http://doi.acm.org/10.1145/240518.240531}, interhash = {aba6d9e26ee86f25804d89049059bdc3}, intrahash = {5a5b914439917311804f40b6b5970fa4}, isbn = {0-89791-779-0}, keywords = {dblp}, pages = {63-66}, publisher = {ACM Press}, timestamp = {2017-03-17T11:39:35.000+0100}, title = {Methodology and Tools for State Encoding in Asynchronous Circuit Synthesis.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac96.html#CortadellaKKLY96}, year = 1996 }