Publications

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Keyword is Formal methods and Author is Paul L. Jones  [Clear All Filters]
2018
Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans, Islam, Md. Ariful, Cleaveland Rance, FENTON FLAVIO H., Grosu Radu, Jones Paul L., and Smolka Scott A. , Theoretical Computer Science, 02/2018, (2018)  (1.99 MB)