A new model for model checking: cycle-weighted Kripke structureOpen Website

Jiaqi Zhu, Hanpin Wang, Zhongyuan Xu, Chunxiang Xu

2010 (modified: 18 Jan 2023)Frontiers Comput. Sci. China 2010Readers: Everyone
0 Replies