Accueil > Análisis filogenético molecular : diseño e implementación de algoritmos escalables y fiables y verificación automática de propiedades de una filogenia > BibTeX |
@article{ÁlvarezJarreta:6492, author = "Álvarez Jarreta, Jorge and Mayordomo Cámara, Elvira and Miguel Casado, Gregorio de", title = "{Análisis filogenético molecular : diseño e implementación de algoritmos escalables y fiables y verificación automática de propiedades de una filogenia}", year = "2011", }