Automatic Annotation of Bioinformatics Workflows with Biomedical Ontologies. García-Jiménez, B. & Wilkinson, M., D. In Margaria, T. & Steffen, B., editors, Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II, volume 8803, of Lecture Notes in Computer Science, pages 464-478, 2014. Springer Berlin Heidelberg.
Automatic Annotation of Bioinformatics Workflows with Biomedical Ontologies [link]Website  doi  bibtex   
@inproceedings{
 title = {Automatic Annotation of Bioinformatics Workflows with Biomedical Ontologies},
 type = {inproceedings},
 year = {2014},
 pages = {464-478},
 volume = {8803},
 websites = {http://arxiv.org/abs/1407.0165,http://link.springer.com/10.1007/978-3-662-45231-8},
 publisher = {Springer Berlin Heidelberg},
 city = {Berlin, Heidelberg},
 series = {Lecture Notes in Computer Science},
 id = {f1ab1039-e253-39df-a88c-d0a192291b6e},
 created = {2014-07-02T09:11:39.000Z},
 accessed = {2014-10-17},
 file_attached = {false},
 profile_id = {17c87d5d-2470-32d7-b273-0734a1d9195f},
 last_modified = {2017-03-22T07:45:59.566Z},
 read = {false},
 starred = {false},
 authored = {true},
 confirmed = {true},
 hidden = {false},
 citation_key = {Garcia-Jimenez2014},
 folder_uuids = {ec2ec352-fa41-43db-919d-f96649955c40},
 private_publication = {false},
 bibtype = {inproceedings},
 author = {García-Jiménez, Beatriz and Wilkinson, Mark D},
 editor = {Margaria, Tiziana and Steffen, Bernhard},
 doi = {10.1007/978-3-662-45231-8},
 booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II}
}

Downloads: 0