A Bayesian approach to model checking biological systems (2009)

by S K JHA, E CLARKE, C LANGMEAD, A LEGAY, A PLATZER, P ZULIANI
Venue:In CMSB, P. Degano and R. Gorrieri, Eds. LNCS Series