Edmund Clarke

Islam, M. A., Byrne, G., Kong, S., Clarke, E. M., Cleaveland, R., Fenton, F. H., et al. (2016). Bifurcation Analysis of Cardiac Alternans Using δ -Decidability. CMSB. Presented at the. Springer. Retrieved de http://dblp.uni-trier.de/db/conf/cmsb/cmsb2016.html#IslamBKCCFGJS16