%0 Conference Paper %1 conf/dimacs/ChoHJPSS90 %A Cho, Hyunwoo %A Hachtel, Gary D. %A Jeong, Seh-Woong %A Plessier, Bernard %A Schwarz, Eric M. %A Somenzi, Fabio %B CAV (DIMACS/AMS volume) %D 1990 %E Clarke, Edmund M. %E Kurshan, Robert P. %I DIMACS/AMS %K dblp %P 615-628 %T Results on the Interface between Formal Verification and ATPG. %U http://dblp.uni-trier.de/db/conf/dimacs/dimacs1990a.html#ChoHJPSS90 %V 3 %@ 978-0-8218-6594-1

@inproceedings{conf/dimacs/ChoHJPSS90, added-at = {2022-06-09T00:00:00.000+0200}, author = {Cho, Hyunwoo and Hachtel, Gary D. and Jeong, Seh-Woong and Plessier, Bernard and Schwarz, Eric M. and Somenzi, Fabio}, biburl = {https://www.bibsonomy.org/bibtex/2bb1865918b85447783300c1d7d38a137/dblp}, booktitle = {CAV (DIMACS/AMS volume)}, crossref = {conf/dimacs/1990a}, editor = {Clarke, Edmund M. and Kurshan, Robert P.}, ee = {https://doi.org/10.1090/dimacs/003/38}, interhash = {f7e4ca749ff8d86eb46329afa9ec6c88}, intrahash = {bb1865918b85447783300c1d7d38a137}, isbn = {978-0-8218-6594-1}, keywords = {dblp}, pages = {615-628}, publisher = {DIMACS/AMS}, series = {DIMACS Series in Discrete Mathematics and Theoretical Computer Science}, timestamp = {2024-04-09T17:59:14.000+0200}, title = {Results on the Interface between Formal Verification and ATPG.}, url = {http://dblp.uni-trier.de/db/conf/dimacs/dimacs1990a.html#ChoHJPSS90}, volume = 3, year = 1990 }