SCI和EI收录∣中国化工学会会刊
Automatic Verification of Biochemical Network Using Model Checking Method
Jinkyung Kim, Younghee Lee, Il Moon
. 2008, (1): 90 -94 .