Giuseppe Alessandro Parasiliti Palumbo, Giulia Russo, Giuseppe Sgroi, Marco Viceconti, Marzio Pennisi, Cristina Curreli, Francesco Pappalardo 0001. Verify: a toolbox for deterministic verification of computational models. In Taesung Park, Young-Rae Cho, Xiaohua Hu, Illhoi Yoo, Hyun Goo Woo, Jianxin Wang 0001, Julio C. Facelli, Seungyoon Nam, Mingon Kang, editors, IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2020, Virtual Event, South Korea, December 16-19, 2020. pages 1262-1267, IEEE, 2020. [doi]
@inproceedings{PalumboRSVPC020,
title = {Verify: a toolbox for deterministic verification of computational models},
author = {Giuseppe Alessandro Parasiliti Palumbo and Giulia Russo and Giuseppe Sgroi and Marco Viceconti and Marzio Pennisi and Cristina Curreli and Francesco Pappalardo 0001},
year = {2020},
doi = {10.1109/BIBM49941.2020.9313312},
url = {https://doi.org/10.1109/BIBM49941.2020.9313312},
researchr = {https://researchr.org/publication/PalumboRSVPC020},
cites = {0},
citedby = {0},
pages = {1262-1267},
booktitle = {IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2020, Virtual Event, South Korea, December 16-19, 2020},
editor = {Taesung Park and Young-Rae Cho and Xiaohua Hu and Illhoi Yoo and Hyun Goo Woo and Jianxin Wang 0001 and Julio C. Facelli and Seungyoon Nam and Mingon Kang},
publisher = {IEEE},
isbn = {978-1-7281-6215-7},
}