Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells. Huang, Z., Fan, C., Mereacre, A., Mitra, S., & Kwiatkowska, M. Z. In Biere, A. & Bloem, R., editors, Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings, volume 8559, of Lecture Notes in Computer Science, pages 373–390, 2014. Springer. Paper doi bibtex @inproceedings{DBLP:conf/cav/HuangFMMK14,
author = {Zhenqi Huang and
Chuchu Fan and
Alexandru Mereacre and
Sayan Mitra and
Marta Z. Kwiatkowska},
editor = {Armin Biere and
Roderick Bloem},
title = {Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac
Cells},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {373--390},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_25},
doi = {10.1007/978-3-319-08867-9\_25},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/HuangFMMK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"mEqJug5s5tJRh2f2k","bibbaseid":"huang-fan-mereacre-mitra-kwiatkowska-invariantverificationofnonlinearhybridautomatanetworksofcardiaccells-2014","downloads":0,"creationDate":"2017-10-05T05:28:26.981Z","title":"Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells","author_short":["Huang, Z.","Fan, C.","Mereacre, A.","Mitra, S.","Kwiatkowska, M. Z."],"year":2014,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/07/3797.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Zhenqi"],"propositions":[],"lastnames":["Huang"],"suffixes":[]},{"firstnames":["Chuchu"],"propositions":[],"lastnames":["Fan"],"suffixes":[]},{"firstnames":["Alexandru"],"propositions":[],"lastnames":["Mereacre"],"suffixes":[]},{"firstnames":["Sayan"],"propositions":[],"lastnames":["Mitra"],"suffixes":[]},{"firstnames":["Marta","Z."],"propositions":[],"lastnames":["Kwiatkowska"],"suffixes":[]}],"editor":[{"firstnames":["Armin"],"propositions":[],"lastnames":["Biere"],"suffixes":[]},{"firstnames":["Roderick"],"propositions":[],"lastnames":["Bloem"],"suffixes":[]}],"title":"Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells","booktitle":"Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings","series":"Lecture Notes in Computer Science","volume":"8559","pages":"373–390","publisher":"Springer","year":"2014","url":"https://doi.org/10.1007/978-3-319-08867-9_25","doi":"10.1007/978-3-319-08867-9_25","timestamp":"Mon, 15 Jun 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/cav/HuangFMMK14.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/cav/HuangFMMK14,\n author = {Zhenqi Huang and\n Chuchu Fan and\n Alexandru Mereacre and\n Sayan Mitra and\n Marta Z. Kwiatkowska},\n editor = {Armin Biere and\n Roderick Bloem},\n title = {Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac\n Cells},\n booktitle = {Computer Aided Verification - 26th International Conference, {CAV}\n 2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,\n Austria, July 18-22, 2014. Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {8559},\n pages = {373--390},\n publisher = {Springer},\n year = {2014},\n url = {https://doi.org/10.1007/978-3-319-08867-9\\_25},\n doi = {10.1007/978-3-319-08867-9\\_25},\n timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/cav/HuangFMMK14.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Huang, Z.","Fan, C.","Mereacre, A.","Mitra, S.","Kwiatkowska, M. Z."],"editor_short":["Biere, A.","Bloem, R."],"key":"DBLP:conf/cav/HuangFMMK14","id":"DBLP:conf/cav/HuangFMMK14","bibbaseid":"huang-fan-mereacre-mitra-kwiatkowska-invariantverificationofnonlinearhybridautomatanetworksofcardiaccells-2014","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-08867-9_25"},"downloads":0},"search_terms":["invariant","verification","nonlinear","hybrid","automata","networks","cardiac","cells","huang","fan","mereacre","mitra","kwiatkowska"],"keywords":["verification","medical systems","dblp"],"authorIDs":["59d5c2fab06428b81f000015"],"dataSources":["64vhzPQouTD2xtS3j"]}