DMCA

A Bayesian Approach to Model Checking Biological Systems ⋆

by Sumit K. Jha , Edmund M. Clarke , Christopher J. Langmead , Axel Legay , André Platzer , Paolo Zuliani
Citations:51 - 15 self