Benchmark: Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue
| Title | Benchmark: Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue |
| Publication Type | Journal Article |
| Year of Publication | 2016 |
| Authors | Abbas, Houssam, Jang, Kuk Jin, Mangharam, Rahul |
| Journal | Applied Verification for Continuous and Hybrid Systems |
| Date Published | March |
| Keywords | 1446832 |
| Citation Key | habbas2016benchmark |