@article{冉丹:125, author = {冉丹, 陈哲, 孙毅, 杨志斌}, title = {基于程序转化的SCADE模型检测}, publisher = {计算机科学}, year = {2021}, journal = {计算机科学}, volume = {48}, number = {12}, eid = {125}, numpages = {5}, pages = {125}, keywords = {模型检测;安全有限状态机;词法分析;语法分析;抽象语法树;JKind}, url = {https://www.jsjkx.com/CN/abstract/article_20442.shtml}, doi = {10.11896/jsjkx.201100080} }