%0 Journal Article
%B Theoretical Computer Science
%D 2019
%G eng
%P 158–169
%T Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans
%V 765