%0 Journal Article %1 journals/tcad/ZhangXXLCP23 %A Zhang, Xiaoyu %A Xiao, Shengping %A Xia, Yechuan %A Li, Jianwen %A Chen, Mingsong %A Pu, Geguang %D 2023 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K dblp %N 9 %P 3105-3117 %T Accelerate Safety Model Checking Based on Complementary Approximate Reachability. %U http://dblp.uni-trier.de/db/journals/tcad/tcad42.html#ZhangXXLCP23 %V 42

@article{journals/tcad/ZhangXXLCP23, added-at = {2023-09-14T00:00:00.000+0200}, author = {Zhang, Xiaoyu and Xiao, Shengping and Xia, Yechuan and Li, Jianwen and Chen, Mingsong and Pu, Geguang}, biburl = {https://www.bibsonomy.org/bibtex/2818dfc7f8c639be54c57c9b1390a73e6/dblp}, ee = {https://doi.org/10.1109/TCAD.2023.3236272}, interhash = {e41d683eedb35627a83a9bbdbb596905}, intrahash = {818dfc7f8c639be54c57c9b1390a73e6}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {dblp}, month = {September}, number = 9, pages = {3105-3117}, timestamp = {2024-04-08T19:47:28.000+0200}, title = {Accelerate Safety Model Checking Based on Complementary Approximate Reachability.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad42.html#ZhangXXLCP23}, volume = 42, year = 2023 }