%0 Conference Paper %1 conf/aspdac/KeimDB99 %A Keim, Martin %A Drechsler, Nicole %A Becker, Bernd %B ASP-DAC %D 1999 %I IEEE Computer Society %K dblp %P 315-318 %T Combining GAs and Symbolic Methods for High Quality Tests of Sequential Circuits. %U http://dblp.uni-trier.de/db/conf/aspdac/aspdac1999.html#KeimDB99 %@ 0-7803-5012-X

@inproceedings{conf/aspdac/KeimDB99, added-at = {2016-05-20T00:00:00.000+0200}, author = {Keim, Martin and Drechsler, Nicole and Becker, Bernd}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2d78d0a4f233928788c8fe10534979366/dblp}, booktitle = {ASP-DAC}, crossref = {conf/aspdac/1999}, ee = {http://doi.ieeecomputersociety.org/10.1109/ASPDAC.1999.760022}, interhash = {f840f6a8a9cdcdd5a95d7da6a15b49f0}, intrahash = {d78d0a4f233928788c8fe10534979366}, isbn = {0-7803-5012-X}, keywords = {dblp}, pages = {315-318}, publisher = {IEEE Computer Society}, timestamp = {2016-05-21T09:44:47.000+0200}, title = {Combining GAs and Symbolic Methods for High Quality Tests of Sequential Circuits.}, url = {http://dblp.uni-trier.de/db/conf/aspdac/aspdac1999.html#KeimDB99}, year = 1999 }