×
模态框（Modal）标题
在这里添加一些文本
关闭
关闭
提交更改
取消
确定并提交
×
模态框（Modal）标题
×
检索
投稿
E-alert
RSS
SCI和EI收录∣中国化工学会会刊
首页
关于本刊
期刊简介
数据库检索情况
期刊引证指标
支持单位
获奖情况
编委会
出版伦理
作者中心
征稿范围与栏目
投稿须知
征稿简则
关于版权
十年主题词索引
下载中心
绿色发表通道
审者中心
审稿须知
专家审稿
自荐审稿人
致谢审稿人
在线期刊
最新录用
当期目录
过刊浏览
封面文章
专刊出版
阅读排行
下载排行
引用排行
期刊订阅
广告合作
联系我们
English
Automatic Verification of Biochemical Network Using Model Checking Method
Jinkyung Kim, Younghee Lee, Il Moon
Automatic Verification of Biochemical Network Using Model Checking Method
Jinkyung Kim, Younghee Lee, Il Moon
. 2008, (
1
): 90 -94 .
京公网安备 11010102001993号 
