%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 }