1 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
Weijun Zhu, Jianwei Wang, Yongwen Fan
The state explosion problem and the exponentially computational complexity restrict the further applications of LTL model checking. To this end, this study tries to seek an accepta…