TY  - RPRT
TI  - Learning Temporal Logical Properties Discriminating ECG models of Cardiac Arrhytmias
AU  - Ezio Bartocci
AU  - Luca Bortolussi
AU  - Guido Sanguinetti
PY  - 2013
UR  - https://arxiv.org/abs/1312.7523
ID  - 1312.7523
ER  -