@inproceedings{ManciniSalvoMarietal., author = {Mancini, Toni and Salvo, Ivano and Mari, Federico and Melatti, Igor and Massini, Annalisa and Sinisi, Stefano and Tronci, Enrico and Davi, Francesco and Dierkes, Thomas and Ehrig, Rainald and R{\"o}blitz, Susanna and Leeners, Brigitte and Kr{\"u}ger, Tillmann H. C. and Egli, Marcel and Ille, Fabian}, title = {Patient-Specific Models from Inter-Patient Biological Models and Clinical Records}, series = {Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design (FMCAD 2014)}, booktitle = {Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design (FMCAD 2014)}, pages = {207 -- 214}, language = {en} }