@article{Jiaqi ZHU:78, author = {Jiaqi ZHU, Hanpin WANG, Zhongyuan XU, Chunxiang XU, }, title = {A new model for model checking: cycle-weighted Kripke structure}, publisher = {Front. Comput. Sci.}, year = {2010}, journal = {Frontiers of Computer Science}, volume = {4}, number = {1}, eid = {78}, numpages = {10}, pages = {78}, keywords = {model checking; Kripke structure; weighted cycles; computation tree logic (CTL) }, url = {https://journal.hep.com.cn/fcs/EN/abstract/article_9479.shtml}, doi = {10.1007/s11704-009-0066-7} }