A Bayesian Approach to Model Checking Biological Systems
Conference
Jha, Sumit K, Clarke, Edmund M, Langmead, Christopher J et al. (2009). A Bayesian Approach to Model Checking Biological Systems
. EURO-PAR 2011 PARALLEL PROCESSING, PT 1, 5688 218-+.
Jha, Sumit K, Clarke, Edmund M, Langmead, Christopher J et al. (2009). A Bayesian Approach to Model Checking Biological Systems
. EURO-PAR 2011 PARALLEL PROCESSING, PT 1, 5688 218-+.