De novo reconstruction of gene regulatory networks from time series data, an approach based on formal methods

We made available the tool implementing the algorithm at the following url: http://www.bioinformatics.unisannio.it.