Marco Esposito, Leonardo Picchiami. Simulation-Based Synthesis of Personalised Therapies for Colorectal Cancer. In Dario Della Monica, Gian Luca Pozzato, Enrico Scala, editors, Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021. Volume 2987 of CEUR Workshop Proceedings, pages 109-113, CEUR-WS.org, 2021. [doi]
@inproceedings{EspositoP21,
title = {Simulation-Based Synthesis of Personalised Therapies for Colorectal Cancer},
author = {Marco Esposito and Leonardo Picchiami},
year = {2021},
url = {http://ceur-ws.org/Vol-2987/paper19.pdf},
researchr = {https://researchr.org/publication/EspositoP21},
cites = {0},
citedby = {0},
pages = {109-113},
booktitle = {Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021},
editor = {Dario Della Monica and Gian Luca Pozzato and Enrico Scala},
volume = {2987},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}