BIROn - Birkbeck Institutional Research Online

Browse by Journal and Volume

Up a level
Export as [feed] Atom [feed] RSS
Group by: Author(s) | Date | School | No Grouping
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.