Adaptive interpolation-based model checking

Journal

Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC

Pages

744-749

Date Issued

2014

Author(s)

Lai, C.-Y.

Wu, C.-Y.

CHUNG-YANG HUANG

DOI

10.1109/ASPDAC.2014.6742979

URI

https://scholars.lib.ntu.edu.tw/handle/123456789/499711

URL

https://www.scopus.com/inward/record.uri?eid=2-s2.0-84897900714&doi=10.1109%2fASPDAC.2014.6742979&partnerID=40&md5=ef97beea71fb23ec1c48020e9e861981

Type

conference paper