Temporal Logics for Phylogenetic Analysis via Model Checking

TitleTemporal Logics for Phylogenetic Analysis via Model Checking
Publication TypeConference Paper
Year of Publication2010
AuthorsBlanco, R, de Miguel G, Requeno JI, Colom JM
Conference NameWorkshop on Mining and Management of Biological and Health Data – A Satellite Workshop of the 2010 IEEE International Conference on Bioinformatics and Biomedicine (BIBM10)
Date Published12/2010
Conference LocationHong-Kong, China
Export