引用本文:

杨军, 葛海通, 郑飞君, 严晓浪. 一种形式化验证方法:模型检验[J]. 浙江大学学报（理学版）, 2006, 33(4): 403-407.

YANG Jun, GE Hai-Tong, ZHENG Fei-Jun, YAN Xiao-Lang. . Journal of Zhejiang University (Science Edition), 2006, 33(4): 403-407.

链接本文:

https://www.zjujournals.com/sci/CN/    或    https://www.zjujournals.com/sci/CN/Y2006/V33/I4/403