×
模态框（Modal）标题
在这里添加一些文本
Close
Close
Submit
Cancel
Confirm
×
模态框（Modal）标题
×
中国计算机学会会刊
中国科技核心期刊
中文核心期刊
Home
Journal honors
Guide
Instructions for Authors
Layout standards
Submission Template
Review process
frequently asked questions
Open access
Submission
Publishing ethics
Subscription
Download
Contact us
中文
Formal verification of gastric adenocarcinoma
core pathway based on CTL model checking
WANG Yapeng，LEI Lihui
Computer Engineering & Science . 2018, (
12
): 2280 -2286 .
