• DocumentCode
    50095
  • Title

    Carrying out Phylogenetic Analyses through Computational Model Checking

  • Author

    Xu, Ying

  • Author_Institution
    University of Georgia
  • Volume
    48
  • Issue
    1
  • fYear
    2015
  • fDate
    Jan. 2015
  • Firstpage
    12
  • Lastpage
    12
  • Abstract
    This installment of Computer´s series highlighting the work published in IEEE Computer Society journals comes from IEEE/ACM Transactions on Computational Biology and Bioinformatics.
  • Keywords
    computational model checking; evolutionary relationships; phylogenetic analysis; phylogenetic tree; temporal logic;
  • fLanguage
    English
  • Journal_Title
    Computer
  • Publisher
    ieee
  • ISSN
    0018-9162
  • Type

    jour

  • DOI
    10.1109/MC.2015.8
  • Filename
    7030155
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=50095