Lai, C.-Y.C.-Y.LaiWu, C.-Y.C.-Y.WuCHUNG-YANG HUANG2020-06-112020-06-112014https://scholars.lib.ntu.edu.tw/handle/123456789/499711Adaptive interpolation-based model checkingconference paper10.1109/ASPDAC.2014.67429792-s2.0-84897900714https://www.scopus.com/inward/record.uri?eid=2-s2.0-84897900714&doi=10.1109%2fASPDAC.2014.6742979&partnerID=40&md5=ef97beea71fb23ec1c48020e9e861981