APA Citation

Koh, C., Nagasaki, M., Saito, A., Li, C., Wong, L., Miyano, S., & SCIENCE, C. (2013). MIRACH: Efficient model checker for quantitative biological pathway models.

Chicago Style Citation

Koh, C.H., M. Nagasaki, A. Saito, C. Li, L. Wong, S. Miyano, and COMPUTER SCIENCE. MIRACH: Efficient Model Checker for Quantitative Biological Pathway Models. 2013.

MLA Citation

Koh, C.H., et al. MIRACH: Efficient Model Checker for Quantitative Biological Pathway Models. 2013.

Warning: These citations may not always be 100% accurate.