{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T11:26:48Z","timestamp":1749554808834},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642152337"},{"type":"electronic","value":"9783642152344"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15234-4_22","type":"book-chapter","created":{"date-parts":[[2010,8,2]],"date-time":"2010-08-02T12:41:57Z","timestamp":1280752917000},"page":"221-232","source":"Crossref","is-referenced-by-count":8,"title":["Model Checking the Ant Colony Optimisation"],"prefix":"10.1007","author":[{"given":"Lucio Mauro","family":"Duarte","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luciana","family":"Foss","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fl\u00e1vio Rech","family":"Wagner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tales","family":"Heimfarth","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","volume-title":"Handbook of Bioinspired Algorithms and Applications","author":"S. Olariu","year":"2007","unstructured":"Olariu, S., Zomaya, A.: Handbook of Bioinspired Algorithms and Applications. Oxford University Press, Oxford (2007)"},{"doi-asserted-by":"crossref","unstructured":"Heimfarth, T., Danne, K., Rammig, F.: An OS for Mobile Ad hoc Networks Using Ant Based Hueristic to Distribute Mobile Services. In: ICAS-ICNS, p. 77 (2005)","key":"22_CR2","DOI":"10.1109\/ICAS-ICNS.2005.22"},{"doi-asserted-by":"crossref","unstructured":"Janacik, P., Heimfarth, T., Rammig, F.: Emergent Topology Control Based on Division of Labour in Ants. In: AINA 2006, vol.\u00a01, pp. 733\u2013740 (2006)","key":"22_CR3","DOI":"10.1109\/AINA.2006.169"},{"key":"22_CR4","doi-asserted-by":"crossref","DOI":"10.1515\/9780691212920","volume-title":"Self-Organization in Biological Systems","author":"S. Camazine","year":"2001","unstructured":"Camazine, S., Deneubourg, J., Franks, N., et al.: Self-Organization in Biological Systems. Princeton University Press, Princeton (2001)"},{"unstructured":"Lewes, G.: Problems of Life and Mind. Kessinger Publishing (2004)","key":"22_CR5"},{"key":"22_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11494676_1","volume-title":"Engineering Self-Organising Systems","author":"T. Wolf De","year":"2005","unstructured":"De Wolf, T., Holvoet, T.: Emergence Versus Self-Organisation: Different Concepts But Promising When Combined Engineering. In: Brueckner, S.A., Di Marzo Serugendo, G., Karageorgos, A., Nagpal, R. (eds.) ESOA 2005. LNCS (LNAI), vol.\u00a03464, pp. 1\u201315. Springer, Heidelberg (2005)"},{"doi-asserted-by":"crossref","unstructured":"Vardi, M.: Automatic Verification of Probabilistic Concurrent Finite State Programs. In: 26th Annual Symp. on Found. of Comp. Sci., pp. 327\u2013338 (1985)","key":"22_CR7","DOI":"10.1109\/SFCS.1985.12"},{"key":"22_CR8","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)"},{"key":"22_CR9","volume-title":"The Traveling Salesman Problem: A Computational Study","author":"D.L. Applegate","year":"2006","unstructured":"Applegate, D.L., Bixby, R.E., Chv\u00e1tal, V., Cook, W.J.: The Traveling Salesman Problem: A Computational Study. Princeton University Press, Princeton (2006)"},{"key":"22_CR10","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1109\/4235.585892","volume":"1","author":"M. Dorigo","year":"1997","unstructured":"Dorigo, M., Gambardella, L.: Ant Colony System: A Cooperative Learning Approach to the Traveling Salesman Problem. IEEE Trans. on Evol. Comp.\u00a01, 53\u201366 (1997)","journal-title":"IEEE Trans. on Evol. Comp."},{"key":"22_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/3-540-46029-2_13","volume-title":"Computer Performance Evaluation","author":"M. Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM: Probabilistic Symbolic Model Checker. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol.\u00a02324, pp. 200\u2013204. Springer, Heidelberg (2002)"},{"key":"22_CR12","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. Formal Aspects of Computing\u00a06, 512\u2013535 (1994)","journal-title":"Formal Aspects of Computing"},{"key":"22_CR13","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/BF01257083","volume":"20","author":"M. Ben-Ari","year":"1983","unstructured":"Ben-Ari, M., Manna, Z., Pnueli, A.: The Temporal Logic of Branching Time. Acta Informatica\u00a020, 207\u2013226 (1983)","journal-title":"Acta Informatica"},{"doi-asserted-by":"crossref","unstructured":"Balasubramaniam, S., Botvich, D., Donnelly, et al.: Biologically Inspired Self-Governance and Self-Organisation for Autonomic Networks. In: 1st Intl. Conf. on Bio-Inspired Mod. of Net., Inform. and Comp. Sys., pp. 1\u201330 (2006)","key":"22_CR14","DOI":"10.1109\/BIMNICS.2006.361805"},{"key":"22_CR15","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1016\/j.biosystems.2008.05.022","volume":"94","author":"A. Stauffer","year":"2008","unstructured":"Stauffer, A., Mange, D., Rossier, J., Vannel, F.: Bio-inspired Self-Organizing Cellular Systems. BioSystems\u00a094, 164\u2013169 (2008)","journal-title":"BioSystems"},{"key":"22_CR16","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-540-25974-9_24","volume-title":"Computational Methods in Systems Biology","author":"L. Cardelli","year":"2005","unstructured":"Cardelli, L.: Brane Calculi. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol.\u00a03082, pp. 257\u2013278. Springer, Heidelberg (2005)"},{"issue":"1","key":"22_CR17","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1006\/jcss.1999.1693","volume":"61","author":"G. P\u0103un","year":"2000","unstructured":"P\u0103un, G.: Computing with Membranes. Journal of Computing and System Sciences\u00a061(1), 108\u2013143 (2000)","journal-title":"Journal of Computing and System Sciences"},{"doi-asserted-by":"crossref","unstructured":"Shang, G., Lei, Z., Fengting, Z., et al.: Solving Traveling Salesman Problem by Ant Colony Optimization Algorithm with Association Rule. In: 3rd Int. Conf. on Natural Computation, pp. 693\u2013698 (2007)","key":"22_CR18","DOI":"10.1109\/ICNC.2007.675"},{"key":"22_CR19","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1007\/s00170-002-1478-9","volume":"22","author":"Y. Li","year":"2003","unstructured":"Li, Y., Gong, S.: Dynamic Ant Colony Optimization for TSP. Int. J. Adv. Manuf. Technol.\u00a022, 528\u2013533 (2003)","journal-title":"Int. J. Adv. Manuf. Technol."},{"key":"22_CR20","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1016\/j.advengsoft.2008.05.004","volume":"40","author":"A. Ugur","year":"2009","unstructured":"Ugur, A., Aydin, D.: An Interactive Simulation and Analysis Software for Solving TSP using Ant Colony Optimization Algorithms. Adv. in Eng. Soft.\u00a040, 341\u2013349 (2009)","journal-title":"Adv. in Eng. Soft."}],"container-title":["IFIP Advances in Information and Communication Technology","Distributed, Parallel and Biologically Inspired Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15234-4_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T08:49:21Z","timestamp":1619772561000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15234-4_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642152337","9783642152344"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15234-4_22","relation":{},"ISSN":["1868-4238","1861-2288"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1861-2288"}],"subject":[],"published":{"date-parts":[[2010]]}}}