Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}