×
模态框（Modal）标题
在这里添加一些文本
Close
Close
Submit
Cancel
Confirm
×
模态框（Modal）标题
×
Fig/Tab
Rss
Email Alert
Adv Search
Home
About Journal
Editorial Board
Publishing Ethics
Subscriptions
Advertise
Contact Us
Download
中文
Introduction
Indexed-in
Journal Metrics
Automatic Verification of Biochemical Network Using Model Checking Method
Jinkyung Kim, Younghee Lee, Il Moon
CIESC Journal . 2008, (
1
): 90 -94 .
