Jiaqi Zhu, Hanpin Wang, Zhongyuan Xu, Chunxiang Xu. A new model for model checking: cycle-weighted Kripke structure. Frontiers of Computer Science in China, 4(1):78-88, 2010. [doi]
@article{ZhuWXX10, title = {A new model for model checking: cycle-weighted Kripke structure}, author = {Jiaqi Zhu and Hanpin Wang and Zhongyuan Xu and Chunxiang Xu}, year = {2010}, doi = {10.1007/s11704-009-0066-7}, url = {http://dx.doi.org/10.1007/s11704-009-0066-7}, tags = {model checking, meta-model, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/ZhuWXX10}, cites = {0}, citedby = {0}, journal = {Frontiers of Computer Science in China}, volume = {4}, number = {1}, pages = {78-88}, }