국제학회
Automatic Verification of Biochemical Network using Model Checking Method
Jinkyung Kim and Il Moon, “Automatic Verification of Biochemical Network using Model Checking Method,” Process Systems Engineering ASIA 2007, Xi’an, China, Aug. 15-18, 2007.
