×
模态框（Modal）标题
在这里添加一些文本
关闭
关闭
提交更改
取消
确定并提交
×
模态框（Modal）标题
×
图表检索
Rss服务
Email Alert
高级检索
首页
关于本刊
编委会
出版伦理
征订信息
广告合作
常见问题
联系我们
下载中心
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
CIESC Journal . 2008, (
1
): 90 -94 .
京公网安备 11010102001995号
