skip to content
  • it
UNIVERSITÀ DEGLI STUDI
DEL SANNIO   Benevento
 

Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking

textbfCeccarelli, \textbfM. \, L. Cerulo, G. De Ruvo, V. Nardone, and A. Santone, "Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking", Formal Methods in Software Engineering (FormaliSE), 2015 IEEE/ACM 3rd FME Workshop on: IEEE, pp. 26–32, 2015.