E.M. Clarke, C. J. Langmead, A. Legay, S.K. Jha, A. Platzer, P. Zuliani. A Bayesian Approach to Model Checking Biological Systems. In Proc. 7th Annual Conference on Computational Methods in Systems Biology, Lecture Notes in Computer Science (Bioinformatics), Volume 5688, Pages 218-234, 2009.
@InProceedings{Legay2009a,
Author = {Clarke, E.M. and J. Langmead, C. and Legay, A. and Jha, S.K. and Platzer, A. and Zuliani, P.},
Title = {A Bayesian Approach to Model Checking Biological Systems},
BookTitle = {Proc. 7th Annual Conference on Computational Methods in Systems Biology},
Volume = {5688},
Pages = {218--234},
Series = {Lecture Notes in Computer Science (Bioinformatics)},
Publisher = {Springer},
Year = {2009}
}
Get EndNote Reference (.ref)