{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T13:22:52Z","timestamp":1742390572895},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642199134"},{"type":"electronic","value":"9783642199141"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-19914-1_23","type":"book-chapter","created":{"date-parts":[[2011,3,9]],"date-time":"2011-03-09T11:13:24Z","timestamp":1299669204000},"page":"167-174","source":"Crossref","is-referenced-by-count":2,"title":["Phylogenetic Analysis Using an SMV Tool"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 Ignacio","family":"Requeno","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Blanco","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregorio","family":"de Miguel Casado","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 Manuel","family":"Colom","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_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":"23_CR2","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1093\/nar\/gkp1024","volume":"38","author":"D.A. Benson","year":"2010","unstructured":"Benson, D.A., Karsch-Mizrachi, I., Lipman, D.J., Ostell, J., Sayers, E.W.: GenBank. Nucleic Acids Res.\u00a038, D46\u2013D51 (2010)","journal-title":"Nucleic Acids Res."},{"key":"23_CR3","volume-title":"Proceedings of the IEEE International Workshop on Mining and Management of Biological and Health Data","author":"R. Blanco","year":"2010","unstructured":"Blanco, R., de Miguel Casado, G., Requeno, J.I., Colom, J.M.: Temporal logics for phylogenetic analysis via model checking. In: Proceedings of the IEEE International Workshop on Mining and Management of Biological and Health Data. IEEE, Los Alamitos (2010) (in press)"},{"key":"23_CR4","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/BFb0025774","volume-title":"Logics of Programs","author":"E.M. Clarke","year":"1982","unstructured":"Clarke, E.M., Emerson, E.A.: Design and synthesis of synchronization skeletons using branching time temporal logic. In: Kozen, D. (ed.) Logics of Programs, pp. 52\u201371. Springer, Heidelberg (1982)"},{"key":"23_CR5","volume-title":"Inferring phylogenies","author":"J. Felsenstein","year":"2003","unstructured":"Felsenstein, J.: Inferring phylogenies. Sinauer, Sunderland (2003)"},{"key":"23_CR6","volume-title":"The temporal logic of reactive and concurrent systems: specification","author":"Z. Manna","year":"1991","unstructured":"Manna, Z., Pnueli, A.: The temporal logic of reactive and concurrent systems: specification. Springer, Berlin (1991)"},{"key":"23_CR7","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1016\/S0167-6423(99)00030-1","volume":"37","author":"K.L. McMillan","year":"2000","unstructured":"McMillan, K.L.: A methodology for hardware verification using compositional model checking. Sci. Comput. Program\u00a037, 279\u2013309 (2000)","journal-title":"Sci. Comput. Program"},{"key":"23_CR8","doi-asserted-by":"publisher","first-page":"476","DOI":"10.1016\/j.bbabio.2008.09.003","volume":"1787","author":"J. Montoya","year":"2009","unstructured":"Montoya, J., L\u00f3pez-Gallardo, E., D\u00edez-S\u00e1nchez, C., L\u00f3pez-P\u00e9rez, M.J., Ruiz-Pesini, E.: 20 years of human mtDNA pathologic point mutations: carefully reading the pathogenicity criteria. Biochim. Biophys. Acta\u00a01787, 476\u2013483 (2009)","journal-title":"Biochim. Biophys. Acta"}],"container-title":["Advances in Intelligent and Soft Computing","5th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2011)"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-19914-1_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,25]],"date-time":"2019-01-25T18:14:53Z","timestamp":1548440093000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19914-1_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642199134","9783642199141"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19914-1_23","relation":{},"ISSN":["1867-5662","1867-5670"],"issn-type":[{"type":"print","value":"1867-5662"},{"type":"electronic","value":"1867-5670"}],"subject":[],"published":{"date-parts":[[2011]]}}}