Fan, K.K.FanYang, M.-J.M.-J.YangCHUNG-YANG HUANG2020-06-112020-06-112016https://scholars.lib.ntu.edu.tw/handle/123456789/499712[SDGs]SDG9Automatic abstraction refinement of TR for PDRconference paper10.1109/ASPDAC.2016.74279992-s2.0-84996606902https://www.scopus.com/inward/record.uri?eid=2-s2.0-84996606902&doi=10.1109%2fASPDAC.2016.7427999&partnerID=40&md5=a6dddbd235e8d30c5a55632e2f7c687e