Quoc-Nam Tran: An Algebraic Approach in Model Checking for Boolean Networks in Bioinformatics. (2009)conf/biocomp/Tran09An Algebraic Approach in Model Checking for Boolean Networks in Bioinformatics.1Quoc-Nam Tran1639-645BIOCOMPBIOCOMP20092009provenance information for RDF data of dblp record 'conf/biocomp/Tran09'2009-10-28T10:48:00+0100