1
TÍTULO: Modeling and formal verification of biological regulatory networks: an integrative approach
AUTORES: Pedro T Monteiro; Ana T Freitas; Delphine Ropers; Radu Mateescu; Hidde de Jong;
PUBLICAÇÃO: 2010, FONTE: IEEE International Conference on Bioinformatics and Biomedicine Workshops (BIBMW) in 2010 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE WORKSHOPS (BIBMW)
INDEXADO EM: WOS