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

Publication
In Proceedings of the 3rd FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2015, Florence, Italy, May 2015, pp 26-32
Date