Accelerating coverage estimation through partial model checking

Journal

IEEE Transactions on Computers

Journal Volume

63

Journal Issue

7

Pages

1613-1625

Date Issued

2014

Author(s)

Chen, Y.-R.

Yeh, J.-J.

Hsiung, P.-A.

DOI

10.1109/TC.2013.63

URI

http://www.scopus.com/inward/record.url?eid=2-s2.0-84903555164&partnerID=MN8TOARS

http://scholars.lib.ntu.edu.tw/handle/123456789/387249

Type

journal article