Radu Mateescu
AuthID: R-00H-N38
1
TITLE: Modeling and formal verification of biological regulatory networks: an integrative approach
AUTHORS: Pedro T Monteiro; Ana T Freitas; Delphine Ropers; Radu Mateescu; Hidde de Jong;
PUBLISHED: 2010, SOURCE: IEEE International Conference on Bioinformatics and Biomedicine Workshops (BIBMW) in 2010 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE WORKSHOPS (BIBMW)
AUTHORS: Pedro T Monteiro; Ana T Freitas; Delphine Ropers; Radu Mateescu; Hidde de Jong;
PUBLISHED: 2010, SOURCE: IEEE International Conference on Bioinformatics and Biomedicine Workshops (BIBMW) in 2010 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE WORKSHOPS (BIBMW)
INDEXED IN: 
WOS
WOS