![](/img/cover-not-exists.png)
Automatic Verification of Biochemical Network Using Model Checking Method
Jinkyung Kim, Younghee Lee, Il MoonVolume:
16
Year:
2008
Language:
english
Pages:
5
DOI:
10.1016/s1004-9541(08)60043-9
File:
PDF, 543 KB
english, 2008