Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking.
Michele Ceccarelli, Luigi Cerulo, Giuseppe De Ruvo, Vittoria Nardone, Antonella Santone
Browse the full ICSE paper archive.
Michele Ceccarelli, Luigi Cerulo, Giuseppe De Ruvo, Vittoria Nardone, Antonella Santone
Browse the full ICSE paper archive.