{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T07:21:05Z","timestamp":1743146465738,"version":"3.40.3"},"publisher-location":"Heidelberg","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319005775"},{"type":"electronic","value":"9783319005782"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-00578-2_16","type":"book-chapter","created":{"date-parts":[[2013,4,19]],"date-time":"2013-04-19T09:43:25Z","timestamp":1366364605000},"page":"119-126","source":"Crossref","is-referenced-by-count":1,"title":["Speeding Up Phylogenetic Model Checking"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 Ignacio","family":"Requeno","sequence":"first","affiliation":[]},{"given":"Jos\u00e9 Manuel","family":"Colom","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","volume-title":"Principles of model checking","author":"C. Baier","year":"2008","unstructured":"Baier, C., Katoen, J.-P.: Principles of model checking. The MIT Press, Cambridge (2008)"},{"key":"16_CR2","doi-asserted-by":"crossref","first-page":"D48","DOI":"10.1093\/nar\/gkr1202","volume":"40","author":"D.A. Benson","year":"2012","unstructured":"Benson, D.A., Karsch-Mizrachi, I., Clark, K., Lipman, D.J., Ostell, J., Sayers, E.W.: GenBank. Nucleic Acids Reseach\u00a040, D48\u2013D53 (2012)","journal-title":"Nucleic Acids Reseach"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Blanco, R., de Miguel Casado, G., Requeno, J.I., Colom, J.M.: Temporal logics for phylogenetic analysis via model checking. In: 2010 IEEE Int. Conf. on Bioinformatics and Biomedicine Workshops, pp. 152\u2013157. IEEE (2010)","DOI":"10.1109\/BIBMW.2010.5703790"},{"key":"16_CR4","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1186\/1471-2105-12-174","volume":"12","author":"R. Blanco","year":"2011","unstructured":"Blanco, R., Mayordomo, E., Montoya, J., Ruiz-Pesini, E.: Rebooting the human mitochondrial phylogeny: an automated and scalable methodology with expert knowledge. BMC Bioinformatics\u00a012, 174 (2011)","journal-title":"BMC Bioinformatics"},{"key":"16_CR5","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/s10009-010-0155-9","volume":"12","author":"D. Bo\u0161na\u010dki","year":"2010","unstructured":"Bo\u0161na\u010dki, D., Edelkamp, S.: Model checking software: on some new waves and some evergreens. Int. J. Software Tool Tech. Tran.\u00a012, 89\u201395 (2010)","journal-title":"Int. J. Software Tool Tech. Tran."},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Boukala, M.C., Petrucci, L.: Distributed CTL Model-Checking and counterexample search. In: 3rd Int. Workshop on Verification and Evaluation of Computer and Communication Systems (2009)","DOI":"10.14236\/ewic\/VECOS2009.6"},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","author":"A. Cimatti","year":"2002","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: An OpenSource Tool for Symbolic Model Checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 359\u2013364. Springer, Heidelberg (2002)"},{"key":"16_CR8","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. Philosophical Transactions of the Royal Society of London. Series B: Biological Sciences\u00a0349, 93\u2013102 (1995)","journal-title":"Philosophical Transactions of the Royal Society of London. Series B: Biological Sciences"},{"issue":"3","key":"16_CR9","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1093\/bib\/3.3.296","volume":"3","author":"H. Mangalam","year":"2002","unstructured":"Mangalam, H.: The Bio* toolkits a brief overview. Brief Bioinform. 3(3), 296\u2013302 (2002)","journal-title":"Brief Bioinform"},{"key":"16_CR10","series-title":"AISC","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-642-19914-1_23","volume-title":"5th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2011)","author":"J.I. Requeno","year":"2011","unstructured":"Requeno, J.I., Blanco, R., de Miguel Casado, G., Colom, J.M.: Phylogenetic Analysis Using an SMV Tool. In: Rocha, M.P., Corchado Rodr\u00edguez, J.M., Fdez-Riverola, F., Valencia, A. (eds.) PACBB 2011. AISC, vol.\u00a093, pp. 167\u2013174. Springer, Heidelberg (2011)"},{"key":"16_CR11","series-title":"AISC","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-642-28839-5_11","volume-title":"6th International Conference on Practical Applications of Computational Biology & Bioinformatics","author":"J.I. Requeno","year":"2012","unstructured":"Requeno, J.I., Blanco, R., de Miguel Casado, G., Colom, J.M.: Sliced Model Checking for Phylogenetic Analysis. In: Rocha, M.P., Luscombe, N., Fdez-Riverola, F., Corchado Rodr\u00edguez, J.M. (eds.) 6th International Conference on PACBB. AISC, vol.\u00a0154, pp. 95\u2013104. Springer, Heidelberg (2012)"},{"key":"16_CR12","unstructured":"Shegalov, G.: CTL Model Checking in Database Cloud. Unpublished version paper (2011)"}],"container-title":["Advances in Intelligent Systems and Computing","7th International Conference on Practical Applications of Computational Biology & Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-00578-2_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T12:53:50Z","timestamp":1676811230000},"score":1,"resource":{"primary":{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/link.springer.com\/10.1007\/978-3-319-00578-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319005775","9783319005782"],"references-count":12,"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/doi.org\/10.1007\/978-3-319-00578-2_16","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2013]]}}}