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

Pubblicazioni di ateneo

Found 1 results
Author [ Titolo(Desc)] Tipo Anno
Filters: Author is Santone, Antonella  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
I
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.