%0 Conference Paper %1 conf/dac/AharonGLLMMMS95 %A Aharon, Aharon %A Goodman, Dave %A Levinger, Moshe %A Lichtenstein, Yossi %A Malka, Yossi %A Metzger, Charlotte %A Molcho, Moshe %A Shurek, Gil %B DAC %D 1995 %E Preas, Bryan %I ACM Press %K dblp %P 279-285 %T Test Program Generation for Functional Verification of PowerPC Processors in IBM. %U http://dblp.uni-trier.de/db/conf/dac/dac95.html#AharonGLLMMMS95 %@ 0-89791-725-1

@inproceedings{conf/dac/AharonGLLMMMS95, added-at = {2017-03-16T00:00:00.000+0100}, author = {Aharon, Aharon and Goodman, Dave and Levinger, Moshe and Lichtenstein, Yossi and Malka, Yossi and Metzger, Charlotte and Molcho, Moshe and Shurek, Gil}, biburl = {https://www.bibsonomy.org/bibtex/2b3db81a7a460d43993581533b66b97bd/dblp}, booktitle = {DAC}, crossref = {conf/dac/1995}, editor = {Preas, Bryan}, ee = {http://doi.acm.org/10.1145/217474.217542}, interhash = {b44651fa435c9a31f6fa48daff721d87}, intrahash = {b3db81a7a460d43993581533b66b97bd}, isbn = {0-89791-725-1}, keywords = {dblp}, pages = {279-285}, publisher = {ACM Press}, timestamp = {2017-03-17T11:39:46.000+0100}, title = {Test Program Generation for Functional Verification of PowerPC Processors in IBM.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac95.html#AharonGLLMMMS95}, year = 1995 }