A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks
Pedro T. Monteiro, Estelle Dumas, Bruno Besson, R. Mateescu +3 more
2009BMC Bioinformatics83 citations Open access
Semantic Scholar
Researcher profile · Semantic Scholar
Pedro T. Monteiro, Estelle Dumas, Bruno Besson, R. Mateescu +3 more
Grégory Batt, Bruno Besson, P. Ciron, H. de Jong +7 more
A. Weidemann, Stefan Richter, M. Stein, S. Sahle +8 more
F. Boyer, Bruno Besson, Guillaume Baptist, Jérôme Izard +4 more
Bruno Besson, F. Rechenmann, Estelle Dumas, Hidde de Jong +3 more