Skip to main content
construction release_alert
Scholars@Duke will be undergoing maintenance April 11-15. Some features may be unavailable during this time.
cancel
Journal cover image
Tools and Algorithms for the Construction and Analysis of Systems

Modeling and Verification of a Dual Chamber Implantable Pacemaker

Publication ,  Chapter
Jiang, Z; Pajic, M; Moarref, S; Alur, R; Mangharam, R
2012

Duke Scholars

DOI

ISBN

978-3-642-28755-8

Publication Date

2012

Volume

7214

Start / End Page

188 / 203

Publisher

Springer Berlin Heidelberg
 

Citation

APA
Chicago
ICMJE
MLA
NLM
Jiang, Z., Pajic, M., Moarref, S., Alur, R., & Mangharam, R. (2012). Modeling and Verification of a Dual Chamber Implantable Pacemaker. In C. Flanagan & B. KÃ nig (Eds.), Tools and Algorithms for the Construction and Analysis of Systems (Vol. 7214, pp. 188–203). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-28756-5_14
Jiang, Zhihao, Miroslav Pajic, Salar Moarref, Rajeev Alur, and Rahul Mangharam. “Modeling and Verification of a Dual Chamber Implantable Pacemaker.” In Tools and Algorithms for the Construction and Analysis of Systems, edited by Cormac Flanagan and Barbara KÃ nig, 7214:188–203. Springer Berlin Heidelberg, 2012. https://doi.org/10.1007/978-3-642-28756-5_14.
Jiang Z, Pajic M, Moarref S, Alur R, Mangharam R. Modeling and Verification of a Dual Chamber Implantable Pacemaker. In: Flanagan C, KÃ nig B, editors. Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg; 2012. p. 188–203.
Jiang, Zhihao, et al. “Modeling and Verification of a Dual Chamber Implantable Pacemaker.” Tools and Algorithms for the Construction and Analysis of Systems, edited by Cormac Flanagan and Barbara KÃ nig, vol. 7214, Springer Berlin Heidelberg, 2012, pp. 188–203. Manual, doi:10.1007/978-3-642-28756-5_14.
Jiang Z, Pajic M, Moarref S, Alur R, Mangharam R. Modeling and Verification of a Dual Chamber Implantable Pacemaker. In: Flanagan C, KÃ nig B, editors. Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg; 2012. p. 188–203.
Journal cover image

DOI

ISBN

978-3-642-28755-8

Publication Date

2012

Volume

7214

Start / End Page

188 / 203

Publisher

Springer Berlin Heidelberg