{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:19:46Z","timestamp":1725495586426},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540758662"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75867-9_66","type":"book-chapter","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T22:34:40Z","timestamp":1195166080000},"page":"523-530","source":"Crossref","is-referenced-by-count":12,"title":["Ant Colony Optimization for Model Checking"],"prefix":"10.1007","author":[{"given":"Enrique","family":"Alba","sequence":"first","affiliation":[]},{"given":"Francisco","family":"Chicano","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"66_CR1","volume-title":"Model Checking","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (2000)"},{"issue":"5","key":"66_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The model checker SPIN. IEEE Transactions on Software Engineering\u00a023(5), 1\u201317 (1997)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"66_CR3","volume-title":"The SPIN Model Checker","author":"G.J. Holzmann","year":"2004","unstructured":"Holzmann, G.J.: The SPIN Model Checker. Addison-Wesley, Reading (2004)"},{"key":"66_CR4","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1290.001.0001","volume-title":"Ant Colony Optimization","author":"M. Dorigo","year":"2004","unstructured":"Dorigo, M., St\u00fctzle, T.: Ant Colony Optimization. The MIT Press, Cambridge (2004)"},{"issue":"3","key":"66_CR5","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1145\/937503.937505","volume":"35","author":"C. Blum","year":"2003","unstructured":"Blum, C., Roli, A.: Metaheuristics in combinatorial optimization: Overview and conceptual comparison. ACM Computing Surveys\u00a035(3), 268\u2013308 (2003)","journal-title":"ACM Computing Surveys"},{"key":"66_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The temporal logic of reactive and concurrent systems","author":"Z. Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The temporal logic of reactive and concurrent systems. Springer, New York (1992)"},{"key":"66_CR7","doi-asserted-by":"crossref","unstructured":"Holzmann, G.J., Peled, D., Yannakakis, M.: On nested depth first search. In: Proc. Second SPIN Workshop, American Mathematical Society, pp. 23\u201332 (1996)","DOI":"10.1090\/dimacs\/032\/03"},{"key":"66_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/3-540-45139-0_5","volume-title":"Model Checking Software","author":"S. Edelkamp","year":"2001","unstructured":"Edelkamp, S., Lafuente, A.L., Leue, S.: Directed Explicit Model Checking with HSF-SPIN. In: Dwyer, M.B. (ed.) Model Checking Software. LNCS, vol.\u00a02057, pp. 57\u201379. Springer, Heidelberg (2001)"},{"key":"66_CR9","first-page":"870","volume-title":"Proceedings of the PPSN IV International Conference","author":"E. Alba","year":"1996","unstructured":"Alba, E., Troya, J.: Genetic Algorithms for Protocol Validation. In: Proceedings of the PPSN IV International Conference, pp. 870\u2013879. Springer, Berlin (1996)"},{"issue":"2","key":"66_CR10","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/s10009-004-0141-1","volume":"6","author":"P. Godefroid","year":"2004","unstructured":"Godefroid, P., Khurshid, S.: Exploring very large state spaces using genetic algorithms. Intl. Jnl. on Software Tools for Technology Transfer\u00a06(2), 117\u2013127 (2004)","journal-title":"Intl. Jnl. on Software Tools for Technology Transfer"},{"key":"66_CR11","doi-asserted-by":"publisher","first-page":"1459","DOI":"10.1109\/CEC.1999.782655","volume-title":"Proceedings of the 1999 Congress on Evolutionary Computation","author":"G. Leguizam\u00f3n","year":"1999","unstructured":"Leguizam\u00f3n, G., Michalewicz, Z.: A new version of Ant System for subset problems. In: Angeline, P., Michalewicz, Z., Schoenauer, M., Yao, X., Zalzala, A. (eds.) Proceedings of the 1999 Congress on Evolutionary Computation, pp. 1459\u20131464. IEEE Computer Society Press, Piscataway, New Jersey (1999)"},{"key":"66_CR12","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/s10009-002-0104-3","volume":"5","author":"S. Edelkamp","year":"2004","unstructured":"Edelkamp, S., Leue, S., Lluch-Lafuente, A.: Directed explicit-state model checking in the validation of communication protocols. International Journal of Software Tools for Technology Transfer\u00a05, 247\u2013267 (2004)","journal-title":"International Journal of Software Tools for Technology Transfer"},{"volume-title":"Parallel Metaheuristics. A New Class of Algorithms","year":"2005","key":"66_CR13","unstructured":"Alba, E. (ed.): Parallel Metaheuristics. A New Class of Algorithms. Wiley, Chichester (2005)"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Systems Theory \u2013 EUROCAST 2007"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75867-9_66.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:35:57Z","timestamp":1619505357000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75867-9_66"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540758662"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75867-9_66","relation":{},"subject":[]}}