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]
Abstract is missing.