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

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

Ruvo, G., V. Nardone, A. Santone, M. Ceccarelli, and L. Cerulo, "Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking", Proceedings - 3rd FME Workshop on Formal Methods in Software Engineering, Formalise 2015, pp. 26–32, 2015.