국제학회
Automatic Verification of Biological Process using Model Checking Method
Jinkyung Kim and Il Moon, "Automatic Verification of Biological Process using Model Checking Method," ESCAPE-17, Bucharest, Romania, May 27-30, 2007.
134 Shinchon-dong, Seodaemun-gu, Seoul 120-749, Korea. Tel: +82-2-363-9375, Fax: +82-2-312-6401, e-mail: pselab@yonsei.ac.kr
Copyright 2023 PSE Lab. All rights reserved