共 50 条
- [47] Automatic Annotation of Bioinformatics Workflows with Biomedical Ontologies LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: SPECIALIZED TECHNIQUES AND APPLICATIONS, PT II, 2014, 8803 : 464 - 478
- [50] Functional genomics- and bioinformatics-assisted gene marker development for economically important traits in cacao IV INTERNATIONAL SYMPOSIUM ON MOLECULAR MARKERS IN HORTICULTURE, 2018, 1203 : 85 - 91