Browse by Journal and Volume
 | Up a level |
Number of items: 1.
Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
Chen, Taolue and Diciolla, M. and Kwiatkowska, M.Z. and Mereacre, A. (2014) Quantitative verification of implantable cardiac pacemakers over hybrid heart models. Information and Computation 236 , pp. 87-101. ISSN 0890-5401.