An Algebraic Approach in Model Checking for Boolean Networks in Bioinformatics - researchr publication

researchr

You are not signed in
Sign in
Sign up

Quoc-Nam Tran. An Algebraic Approach in Model Checking for Boolean Networks in Bioinformatics. In Hamid R. Arabnia, Mary Qu Yang, editors, International Conference on Bioinformatics & Computational Biology, BIOCOMP 2009, July 13-16, 2009, Las Vegas Nevada, USA, 2 Volumes. pages 639-645, CSREA Press, 2009.

Abstract is missing.

runs on WebDSL