%0 Conference Paper %1 conf/aiia/AlimguzhinMMST19 %A Alimguzhin, Vadim %A Mancini, Toni %A Massini, Annalisa %A Sinisi, Stefano %A Tronci, Enrico %B OVERLAY@AI*IA %D 2019 %E Gigante, Nicola %E Mari, Federico %E Orlandini, Andrea %I CEUR-WS.org %K dblp %P 17-22 %T In Silico Clinical Trials through AI and Statistical Model Checking. %U http://dblp.uni-trier.de/db/conf/aiia/overlay2019.html#AlimguzhinMMST19 %V 2509

@inproceedings{conf/aiia/AlimguzhinMMST19, added-at = {2023-03-10T00:00:00.000+0100}, author = {Alimguzhin, Vadim and Mancini, Toni and Massini, Annalisa and Sinisi, Stefano and Tronci, Enrico}, biburl = {https://www.bibsonomy.org/bibtex/2113834ad46784909e75586c3d4a4de37/dblp}, booktitle = {OVERLAY@AI*IA}, crossref = {conf/aiia/2019overlay}, editor = {Gigante, Nicola and Mari, Federico and Orlandini, Andrea}, ee = {https://ceur-ws.org/Vol-2509/paper2.pdf}, interhash = {54b705904dac98323d177b7fd3da15be}, intrahash = {113834ad46784909e75586c3d4a4de37}, keywords = {dblp}, pages = {17-22}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-10T01:17:16.000+0200}, title = {In Silico Clinical Trials through AI and Statistical Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/aiia/overlay2019.html#AlimguzhinMMST19}, volume = 2509, year = 2019 }