%0 Conference Paper %1 conf/vts/KonukL93 %A Konuk, Haluk %A Larrabee, Tracy %B VTS %D 1993 %I IEEE Computer Society %K dblp %P 85-90 %T Explorations of sequential ATPG using Boolean satisfiability. %U http://dblp.uni-trier.de/db/conf/vts/vts1993.html#KonukL93 %@ 0-8186-3830-3

@inproceedings{conf/vts/KonukL93, added-at = {2023-03-24T00:00:00.000+0100}, author = {Konuk, Haluk and Larrabee, Tracy}, biburl = {https://www.bibsonomy.org/bibtex/22637005132190dec4c1f1674c0fb3644/dblp}, booktitle = {VTS}, crossref = {conf/vts/1993}, ee = {https://doi.ieeecomputersociety.org/10.1109/VTEST.1993.313303}, interhash = {388acc4a40b87bebf017cd13a99e9e5e}, intrahash = {2637005132190dec4c1f1674c0fb3644}, isbn = {0-8186-3830-3}, keywords = {dblp}, pages = {85-90}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T07:35:06.000+0200}, title = {Explorations of sequential ATPG using Boolean satisfiability.}, url = {http://dblp.uni-trier.de/db/conf/vts/vts1993.html#KonukL93}, year = 1993 }