Chen, Y.-R.Y.-R.ChenYeh, J.-J.J.-J.YehHsiung, P.-A.P.-A.HsiungSAO-JIE CHEN2018-09-102018-09-102014http://www.scopus.com/inward/record.url?eid=2-s2.0-84903555164&partnerID=MN8TOARShttp://scholars.lib.ntu.edu.tw/handle/123456789/387249Accelerating coverage estimation through partial model checkingjournal article10.1109/TC.2013.63