Sliced Model Checking for Phylogenetic Analysis

TitleSliced Model Checking for Phylogenetic Analysis
Publication TypeBook Chapter
Year of Publication2012
AuthorsRequeno, JI, Blanco R, de Miguel G, Colom JM
Book Title6th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2012)
Series TitleAdvances in Intelligent and Soft Computing
PublisherSpringer
CityBerlin Heildelbeg
ISBN1867-5662
Export