{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T15:33:26Z","timestamp":1743089606399,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319075808"},{"type":"electronic","value":"9783319075815"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-07581-5_13","type":"book-chapter","created":{"date-parts":[[2014,5,21]],"date-time":"2014-05-21T08:29:59Z","timestamp":1400660999000},"page":"105-112","source":"Crossref","is-referenced-by-count":0,"title":["Timed and Probabilistic Model Checking over Phylogenetic Trees"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 Ignacio","family":"Requeno","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 Manuel","family":"Colom","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","volume-title":"Inferring phylogenies","author":"J. Felsenstein","year":"2003","unstructured":"Felsenstein, J.: Inferring phylogenies. Sinauer, Sunderland (2003)"},{"issue":"5","key":"13_CR2","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1038\/nrg3186","volume":"13","author":"Z. Yang","year":"2012","unstructured":"Yang, Z., Rannala, B.: Molecular phylogenetics: principles and practice. Nat. Rev. Genet.\u00a013(5), 303\u2013314 (2012)","journal-title":"Nat. Rev. Genet."},{"issue":"1327","key":"13_CR3","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1098\/rstb.1995.0095","volume":"349","author":"W.M. Fitch","year":"1995","unstructured":"Fitch, W.M.: Uses for evolutionary trees. Philos. T. Roy. Soc. B\u00a0349(1327), 93\u2013102 (1995)","journal-title":"Philos. T. Roy. Soc. B"},{"issue":"4","key":"13_CR4","first-page":"1058","volume":"10","author":"J.I. Requeno","year":"2013","unstructured":"Requeno, J.I., De Miguel Casado, G., Blanco, R., Colom, J.M.: Temporal logics for phylogenetic analysis via model checking. IEEE ACM T. Comput. Bi.\u00a010(4), 1058\u20131070 (2013)","journal-title":"IEEE ACM T. Comput. Bi."},{"key":"13_CR5","volume-title":"Principles of model checking","author":"C. Baier","year":"2008","unstructured":"Baier, C., Katoen, J.P.: Principles of model checking. MIT Press, Cambridge (2008)"},{"issue":"4","key":"13_CR6","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1093\/bioinformatics\/17.4.383","volume":"17","author":"C.M. Zmasek","year":"2001","unstructured":"Zmasek, C.M., Eddy, S.R.: ATV: display and manipulation of annotated phylogenetic trees. Bioinformatics\u00a017(4), 383\u2013384 (2001)","journal-title":"Bioinformatics"},{"key":"13_CR7","unstructured":"Rambaut, A.: How to read a phylogenetic tree (August 2013)"},{"issue":"7","key":"13_CR8","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1016\/S0169-5347(01)02161-9","volume":"16","author":"T.G. Barraclough","year":"2001","unstructured":"Barraclough, T.G., Nee, S.: Phylogenetics and speciation. Trends Ecol. Evol.\u00a016(7), 391\u2013399 (2001)","journal-title":"Trends Ecol. Evol."},{"key":"13_CR9","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1038\/ng1113","volume":"33","author":"L.L. Cavalli Sforza","year":"2003","unstructured":"Cavalli Sforza, L.L., Feldman, M.W.: The application of molecular genetic approaches to the study of human evolution. Nat. Genet.\u00a033, 266\u2013275 (2003)","journal-title":"Nat. Genet."},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Holden, C., Mace, R.: Phylogenetic analysis of the evolution of lactose digestion in adults. Hum. Biol. 597\u2013619 (2009)","DOI":"10.3378\/027.081.0609"},{"issue":"1","key":"13_CR11","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1038\/ng1946","volume":"39","author":"S.A. Tishkoff","year":"2006","unstructured":"Tishkoff, S.A., et al.: Convergent adaptation of human lactase persistence in Africa and Europe. Nat. Genet.\u00a039(1), 31\u201340 (2006)","journal-title":"Nat. Genet."},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/978-3-540-72522-0_6","volume-title":"Formal Methods for Performance Evaluation","author":"M. Kwiatkowska","year":"2007","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Stochastic model checking. In: Bernardo, M., Hillston, J. (eds.) SFM 2007. LNCS, vol.\u00a04486, pp. 220\u2013270. Springer, Heidelberg (2007)"},{"key":"13_CR13","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H. Hansson","year":"1994","unstructured":"Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Form. Asp. Comput.\u00a06, 512\u2013535 (1994)","journal-title":"Form. Asp. Comput."},{"issue":"3","key":"13_CR14","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1515\/jib-2013-229","volume":"10","author":"J.I. Requeno","year":"2013","unstructured":"Requeno, J.I., Colom, J.M.: Model checking software for phylogenetic trees using distribution and database methods. J. Integr. Bioinformatics\u00a010(3), 229 (2013)","journal-title":"J. Integr. Bioinformatics"},{"key":"13_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M. Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: Verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol.\u00a06806, pp. 585\u2013591. Springer, Heidelberg (2011)"},{"key":"13_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-540-77966-7_9","volume-title":"Hardware and Software: Verification and Testing","author":"D.N. Jansen","year":"2008","unstructured":"Jansen, D.N., Katoen, J.-P., Oldenkamp, M., Stoelinga, M., Zapreev, I.: How fast and fat is your probabilistic model checker? an experimental performance comparison. In: Yorav, K. (ed.) HVC 2007. LNCS, vol.\u00a04899, pp. 69\u201385. Springer, Heidelberg (2008)"},{"key":"13_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/978-3-540-24597-1_9","volume-title":"FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science","author":"V. Bruy\u00e8re","year":"2003","unstructured":"Bruy\u00e8re, V., Raskin, J.-F.: Real-time model-checking: Parameters everywhere. In: Pandya, P.K., Radhakrishnan, J. (eds.) FSTTCS 2003. LNCS, vol.\u00a02914, pp. 100\u2013111. Springer, Heidelberg (2003)"}],"container-title":["Advances in Intelligent Systems and Computing","8th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2014)"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07581-5_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,14]],"date-time":"2023-02-14T16:51:07Z","timestamp":1676393467000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-07581-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319075808","9783319075815"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07581-5_13","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2014]]}}}