TY - CHAP A1 - Ehrig, Rainald A1 - Dierkes, Thomas A1 - Schäfer, Stefan A1 - Röblitz, Susanna A1 - Tronci, Enrico A1 - Mancini, Toni A1 - Salvo, Ivano A1 - Alimguzhin, Vadim A1 - Mari, Federico A1 - Melatti, Igor A1 - Massini, Annalisa A1 - Krüger, Tillmann H. C. A1 - Egli, Marcel A1 - Ille, Fabian A1 - Leeners, Brigitte T1 - An integrative approach for model driven computation of treatments in reproductive medicine T2 - BIOMAT - Proceedings of the 15th International Symposium on Mathematical and Computational Biology, Rorkee, India Y1 - 2016 ER - TY - CHAP 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 SP - 207 EP - 214 ER -