[IEEE 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - Irvine, CA (2017.11.13-2017.11.16)] 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - Safety model checking with complementary approximations
Li, Jianwen, Zhu, Shufang, Zhang, Yueling, Pu, Geguang, Vardi, Moshe Y.Year:
2017
Language:
english
DOI:
10.1109/iccad.2017.8203765
File:
PDF, 165 KB
english, 2017