{"_id":"fec95qNS9Zqy9BiJM","bibbaseid":"kwiatkowska-leabanks-mereacre-paoletti-formalmodellingandvalidationofrateadaptivepacemakers-2014","authorIDs":[],"author_short":["Kwiatkowska, M.","Lea-Banks, H.","Mereacre, A.","Paoletti, N."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Formal Modelling and Validation of Rate-Adaptive Pacemakers","doi":"10/gh25tr","booktitle":"2014 IEEE International Conference on Healthcare Informatics","author":[{"propositions":[],"lastnames":["Kwiatkowska"],"firstnames":["Marta"],"suffixes":[]},{"propositions":[],"lastnames":["Lea-Banks"],"firstnames":["Harriet"],"suffixes":[]},{"propositions":[],"lastnames":["Mereacre"],"firstnames":["Alexandru"],"suffixes":[]},{"propositions":[],"lastnames":["Paoletti"],"firstnames":["Nicola"],"suffixes":[]}],"year":"2014","pages":"23–32","bibtex":"@inproceedings{kwiatkowska_formal_2014,\n\ttitle = {Formal {Modelling} and {Validation} of {Rate}-{Adaptive} {Pacemakers}},\n\tdoi = {10/gh25tr},\n\tbooktitle = {2014 {IEEE} {International} {Conference} on {Healthcare} {Informatics}},\n\tauthor = {Kwiatkowska, Marta and Lea-Banks, Harriet and Mereacre, Alexandru and Paoletti, Nicola},\n\tyear = {2014},\n\tpages = {23--32},\n}\n\n","author_short":["Kwiatkowska, M.","Lea-Banks, H.","Mereacre, A.","Paoletti, N."],"key":"kwiatkowska_formal_2014","id":"kwiatkowska_formal_2014","bibbaseid":"kwiatkowska-leabanks-mereacre-paoletti-formalmodellingandvalidationofrateadaptivepacemakers-2014","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","creationDate":"2020-11-09T04:30:04.947Z","downloads":0,"keywords":[],"search_terms":["formal","modelling","validation","rate","adaptive","pacemakers","kwiatkowska","lea-banks","mereacre","paoletti"],"title":"Formal Modelling and Validation of Rate-Adaptive Pacemakers","year":2014,"dataSources":["4mnhe87Gt4h7SC73t","YCBcQPneB9oxahSnp"]}