![](/img/cover-not-exists.png)
Partial order reduction for checking LTL formulae with the next-time operator
Kan, Shuanglong, Huang, Zhiqiu, Chen, Zhe, Li, Weiwei, Huang, YutaoLanguage:
english
Journal:
Journal of Logic and Computation
DOI:
10.1093/logcom/exw004
Date:
May, 2016
File:
PDF, 793 KB
english, 2016