Title
Parameter Synthesis for Cardiac Cell Hybrid Models Using δ-Decisions.
Year
DOI
Venue
2014
10.1007/978-3-319-12982-2_8
CMSB
Field
DocType
Citations 
Cardiac cell,Nonlinear system,Computer science,Automaton,Systems biology,Biological modeling,Theoretical computer science,Reachability,Hybrid system,Undecidable problem
Conference
1
PageRank 
References 
Authors
0.34
26
5
Name
Order
Citations
PageRank
Bing Liu15611.41
Soonho Kong226415.19
Sicun Gao333423.51
Paolo Zuliani456629.92
Edmund M. Clarke5206452418.32