PT Unknown AU Tronci, E Mancini, T Salvo, I Mari, F Melatti, I Massini, A Sinisi, S Davì, F Dierkes, T Ehrig, R Röblitz, S Leeners, B Krüger, T Egli, M Ille, F TI Patient-Specific Models from Inter-Patient Biological Models and Clinical Records SE Formal Methods in Computer-Aided Design (FMCAD) PY 2014 DI 10.1109/FMCAD.2014.6987615 ER