Figure 3From: A novel procedure for statistical inference and verification of gene regulatory subnetworkFlowchart of gene regulatory network inference from time series microarray data and formal verification. The dynamic Bayesian network inference (A1-A4) is implemented by Banjo, and the inferred network's verification (B1-B3) is implemented by the weighted symbolic model verifier (SMV).Back to article page