Automatic abstraction refinement of TR for PDR.
https://doi.org/10.1109/ASPDAC.2016.7427999
@inproceedings{DBLP:conf/aspdac/FanYH16,
author = {Kuan Fan and
Ming{-}Jen Yang and
Chung{-}Yang Huang},
title = {Automatic abstraction refinement of {TR} for {PDR}},
booktitle = {21st Asia and South Pacific Design Automation Conference, {ASP-DAC}
2016, Macao, Macao, January 25-28, 2016},
pages = {121--126},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ASPDAC.2016.7427999},
doi = {10.1109/ASPDAC.2016.7427999},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/aspdac/FanYH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签