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.
@inproceedings{Tran09,
title = {An Algebraic Approach in Model Checking for Boolean Networks in Bioinformatics},
author = {Quoc-Nam Tran},
year = {2009},
tags = {model checking, meta-model, algebra, Meta-Environment, systematic-approach},
researchr = {https://researchr.org/publication/Tran09},
cites = {0},
citedby = {0},
pages = {639-645},
booktitle = {International Conference on Bioinformatics & Computational Biology, BIOCOMP 2009, July 13-16, 2009, Las Vegas Nevada, USA, 2 Volumes},
editor = {Hamid R. Arabnia and Mary Qu Yang},
publisher = {CSREA Press},
isbn = {1-60132-095-7},
}