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/cav/CamuratiGPR90
%A Camurati, Paolo
%A Gilli, Marco
%A Prinetto, Paolo
%A Reorda, Matteo Sonza
%B CAV
%D 1990
%E Clarke, Edmund M.
%E Kurshan, Robert P.
%I Springer
%K dblp
%P 86-95
%T The Use of Model Checking in ATPG for Sequential Circuits.
%U http://dblp.uni-trier.de/db/conf/cav/cav1990.html#CamuratiGPR90
%V 531
%@ 3-540-54477-1
@inproceedings{conf/cav/CamuratiGPR90,
added-at = {2019-06-02T00:00:00.000+0200},
author = {Camurati, Paolo and Gilli, Marco and Prinetto, Paolo and Reorda, Matteo Sonza},
biburl = {https://www.bibsonomy.org/bibtex/24d963b9cb5b8ebf01224bc30face7c9e/dblp},
booktitle = {CAV},
crossref = {conf/cav/1990},
editor = {Clarke, Edmund M. and Kurshan, Robert P.},
ee = {https://www.wikidata.org/entity/Q60247289},
interhash = {7f888ef1540fbb941a900ad6aa7fa77b},
intrahash = {4d963b9cb5b8ebf01224bc30face7c9e},
isbn = {3-540-54477-1},
keywords = {dblp},
pages = {86-95},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-06-04T13:55:49.000+0200},
title = {The Use of Model Checking in ATPG for Sequential Circuits.},
url = {http://dblp.uni-trier.de/db/conf/cav/cav1990.html#CamuratiGPR90},
volume = 531,
year = 1990
}