%0 Conference Paper %1 conf/aspdac/FanYH16 %A Fan, Kuan %A Yang, Ming-Jen %A Huang, Chung-Yang %B ASP-DAC %D 2016 %I IEEE %K dblp %P 121-126 %T Automatic abstraction refinement of TR for PDR. %U http://dblp.uni-trier.de/db/conf/aspdac/aspdac2016.html#FanYH16 %@ 978-1-4673-9569-4

@inproceedings{conf/aspdac/FanYH16, added-at = {2017-05-26T00:00:00.000+0200}, author = {Fan, Kuan and Yang, Ming-Jen and Huang, Chung-Yang}, biburl = {https://www.bibsonomy.org/bibtex/2cd10fc6c33e60df726458c000799b5b4/dblp}, booktitle = {ASP-DAC}, crossref = {conf/aspdac/2016}, ee = {https://doi.org/10.1109/ASPDAC.2016.7427999}, interhash = {3c7ae1a0d6a8ab4d664770eb2a661720}, intrahash = {cd10fc6c33e60df726458c000799b5b4}, isbn = {978-1-4673-9569-4}, keywords = {dblp}, pages = {121-126}, publisher = {IEEE}, timestamp = {2019-10-17T16:46:00.000+0200}, title = {Automatic abstraction refinement of TR for PDR.}, url = {http://dblp.uni-trier.de/db/conf/aspdac/aspdac2016.html#FanYH16}, year = 2016 }