TY - CONF A1 - Mancini, Toni A1 - Salvo, Ivano A1 - Mari, Federico A1 - Melatti, Igor A1 - Massini, Annalisa A1 - Sinisi, Stefano A1 - Tronci, Enrico A1 - Davi, Francesco A1 - Dierkes, Thomas A1 - Ehrig, Rainald A1 - Röblitz, Susanna A1 - Leeners, Brigitte A1 - Krüger, Tillmann H. C. A1 - Egli, Marcel A1 - Ille, Fabian T1 - Patient-Specific Models from Inter-Patient Biological Models and Clinical Records T2 - Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design (FMCAD 2014) Y1 - 2014 UR - https://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/5163 SP - 207 EP - 214 ER -