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

Pubblicazioni di ateneo

Found 1 results
Author Titolo Tipo [ Anno(Asc)]
Filters: Author is Ruvo, Gd  [Clear All Filters]
2015
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.