%0 Conference Paper %1 conf/dac/PandeyRBA97 %A Pandey, Manish %A Raimi, Richard %A Bryant, Randal E. %A Abadir, Magdy S. %B DAC %D 1997 %E Yoffa, Ellen J. %E Micheli, Giovanni De %E Rabaey, Jan M. %I ACM Press %K dblp %P 167-172 %T Formal Verification of Content Addressable Memories Using Symbolic Trajectory Evaluation. %U http://dblp.uni-trier.de/db/conf/dac/dac97.html#PandeyRBA97 %@ 0-89791-920-3

@inproceedings{conf/dac/PandeyRBA97, added-at = {2017-03-16T00:00:00.000+0100}, author = {Pandey, Manish and Raimi, Richard and Bryant, Randal E. and Abadir, Magdy S.}, biburl = {https://www.bibsonomy.org/bibtex/23e1a6c46b07d1126a35ca62437f0d61a/dblp}, booktitle = {DAC}, crossref = {conf/dac/1997}, editor = {Yoffa, Ellen J. and Micheli, Giovanni De and Rabaey, Jan M.}, ee = {http://doi.acm.org/10.1145/266021.266056}, interhash = {c7f653843dfd4194302b956dc2528fe8}, intrahash = {3e1a6c46b07d1126a35ca62437f0d61a}, isbn = {0-89791-920-3}, keywords = {dblp}, pages = {167-172}, publisher = {ACM Press}, timestamp = {2017-03-17T11:40:13.000+0100}, title = {Formal Verification of Content Addressable Memories Using Symbolic Trajectory Evaluation.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac97.html#PandeyRBA97}, year = 1997 }