Browse by Journal and Volume

Group by: Author(s) | Date | School | No Grouping

Jump to: Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences

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.

This list was generated on Fri Jun 27 02:44:23 2025 BST.