Radu Mateescu
AuthID: R-00H-N38
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)
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