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