Publications

Export 1 results:
Author Title [ Type(Desc)] Year
Filters: Keyword is Formal methods and Author is Rance Cleaveland  [Clear All Filters]
Journal Article
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)