{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T14:39:49Z","timestamp":1743086389197,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642288388"},{"type":"electronic","value":"9783642288395"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-28839-5_11","type":"book-chapter","created":{"date-parts":[[2012,3,5]],"date-time":"2012-03-05T22:33:40Z","timestamp":1330986820000},"page":"95-103","source":"Crossref","is-referenced-by-count":2,"title":["Sliced Model Checking for Phylogenetic Analysis"],"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":"11_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":"11_CR2","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1109\/BIBMW.2010.5703790","volume-title":"2010 IEEE Int. Conf. on Bioinformatics and Biomedicine Workshops","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: 2010 IEEE Int. Conf. on Bioinformatics and Biomedicine Workshops, pp. 152\u2013157. IEEE (2010)"},{"key":"11_CR3","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":"11_CR4","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":"11_CR5","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1109\/43.275352","volume":"13","author":"J.R. Burch","year":"1994","unstructured":"Burch, J.R., Clarke, E.M., Long, D.E., McMillan, K.L., Dill, D.L.: Symbolic model checking for sequential circuit verification. IEEE Trans. Comput-Aided Design Integr. Circuits Syst.\u00a013, 401\u2013424 (1994)","journal-title":"IEEE Trans. Comput-Aided Design Integr. Circuits Syst."},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Long, D.E., McMillan, K.L.: Compositional model checking. In: Procs. of the 4th Annual Symposium on Logic in Computer Science, pp. 353\u2013362. IEEE (1989)","DOI":"10.1109\/LICS.1989.39190"},{"key":"11_CR7","volume-title":"Model Checking","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg Jr, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (2000)"},{"key":"11_CR8","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1093\/jigpal\/jzn018","volume":"16","author":"D.M. Gabbay","year":"2008","unstructured":"Gabbay, D.M., Pnueli, A.: A Sound and Complete Deductive System for CTL* Verification. Log. J. IGPL.\u00a016, 499\u2013536 (2008)","journal-title":"Log. J. IGPL."},{"key":"11_CR9","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/s10703-006-0008-z","volume":"29","author":"C. Inggs","year":"2006","unstructured":"Inggs, C., Barringer, H.: CTL* model checking on a shared-memory architecture. Form. Method. Syst. Des.\u00a029, 135\u2013155 (2006)","journal-title":"Form. Method. Syst. Des."},{"key":"11_CR10","unstructured":"Lecointre, G., Le Guyader, H.: The Tree of Life: A Phylogenetic Classification. Harvard University Press Reference Library. Belknap Press of Harvard University Press (2007)"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","volume-title":"Model Checking Software","year":"2009","unstructured":"P\u0103s\u0103reanu, C.S. (ed.): Model Checking Software. LNCS, vol.\u00a05578. Springer, Heidelberg (2009)"},{"key":"11_CR12","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-642-82453-1_5","volume-title":"Logics and Models of Concurrent Systems","author":"A. Pnueli","year":"1985","unstructured":"Pnueli, A.: In transition from global to modular temporal reasoning about programs. In: Logics and Models of Concurrent Systems, pp. 123\u2013144. Springer, New York (1985)"},{"key":"11_CR13","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1023\/A:1008771324652","volume":"18","author":"U. Stern","year":"2001","unstructured":"Stern, U., Dill, D.L.: Parallelizing the Mur\u03d5 Verifier. Form. Method. Syst. Des.\u00a018, 117\u2013129 (2001)","journal-title":"Form. Method. Syst. Des."},{"key":"11_CR14","series-title":"AISC","first-page":"167","volume-title":"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., Rodr\u00edguez, J.M.C., Fdez-Riverola, F., Valencia, A., et al. (eds.) PACBB 2011. AISC, vol.\u00a093, pp. 167\u2013174. Springer, Heidelberg (2011)"}],"container-title":["Advances in Intelligent and Soft Computing","6th International Conference on Practical Applications of Computational Biology & Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28839-5_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T13:10:37Z","timestamp":1742649037000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-28839-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642288388","9783642288395"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28839-5_11","relation":{},"ISSN":["1867-5662","1867-5670"],"issn-type":[{"type":"print","value":"1867-5662"},{"type":"electronic","value":"1867-5670"}],"subject":[],"published":{"date-parts":[[2012]]}}}