Automatic Verification of Biochemical Network Using Model Checking Method

Jinkyung Kim, Younghee Lee, Il Moon

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Automatic Verification of Biochemical Network Using Model Checking Method'. Together they form a unique fingerprint.

Engineering & Materials Science

Earth & Environmental Sciences

Medicine & Life Sciences

Chemistry