A Method to Determine the Exact Acceleration Efficiency in Model Checking
GOU Li-jie
LI Zhen
WANG Cong-yin
ZHUANG Lei
Machine-generated Keywords：
Publication Date：2014-07-02
Online Publishing Date：2025-08-15(First online date of this platform, not the publication date of the document)
Pages：5( 37-41 )