A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks

por Monteiro, Pedro T, Dumas, Estelle, Besson, Bruno, Mateescu, Radu, Page, Michel, Freitas, Ana T, de Jong, Hidde
Publicado 2009