{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T17:32:49Z","timestamp":1743096769533,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642047718"},{"type":"electronic","value":"9783642047725"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04772-5_35","type":"book-chapter","created":{"date-parts":[[2009,9,23]],"date-time":"2009-09-23T16:32:44Z","timestamp":1253723564000},"page":"263-270","source":"Crossref","is-referenced-by-count":0,"title":["Debugging and Verification of Multi-Agent Systems"],"prefix":"10.1007","author":[{"given":"Clara","family":"Benac Earle","sequence":"first","affiliation":[]},{"given":"Lars-\u00c5ke","family":"Fredlund","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"35_CR1","volume-title":"Concurrent Programming in Erlang","author":"J. Armstrong","year":"1996","unstructured":"Armstrong, J., Virding, R., Wikstr\u00f6m, C., Williams, M.: Concurrent Programming in Erlang. Prentice-Hall, Englewood Cliffs (1996)"},{"key":"35_CR2","first-page":"10","volume":"1","author":"S. Blau","year":"1998","unstructured":"Blau, S., Rooth, J.: AXD 301 - a new generation ATM switching system. Ericsson Review\u00a01, 10\u201317 (1998)","journal-title":"Ericsson Review"},{"issue":"2","key":"35_CR3","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/s10458-006-5955-7","volume":"12","author":"R.H. Bordini","year":"2006","unstructured":"Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Verifying multi-agent programs by model checking. Autonomous Agents and Multi-Agent Systems\u00a012(2), 239\u2013256 (2006)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"35_CR4","doi-asserted-by":"publisher","first-page":"1317","DOI":"10.1145\/1160633.1160876","volume-title":"AAMAS 2006: Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems","author":"T. Bosse","year":"2006","unstructured":"Bosse, T., Lam, D.N., Barber, K.S.: Automated analysis and verification of agent behavior. In: AAMAS 2006: Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems, pp. 1317\u20131319. ACM, New York (2006)"},{"key":"35_CR5","unstructured":"Chen, M., Dorer, K., Foroughi, E., Heintz, F., Huang, Z., Kapetanakis, S., Kostiadis, K., Kummeneje, J., Murray, J., Noda, I., Obst, O., Riley, P., Steffens, T., Wang, Y., Yin, X.: RoboCup Soccer Server. Manual for Soccer Server Version 7.07 and later (obtainable from sserver.sf.net) (2003)"},{"key":"35_CR6","doi-asserted-by":"crossref","unstructured":"Earle, C.B., Fredlund, L., Iglesias, J., Ledezma, A.: Verifying robocup teams. Electronic Notes in Theoretical Computer Science 5348\/2009, 34\u201348 (2008)","DOI":"10.1007\/978-3-642-00431-5_3"},{"key":"35_CR7","doi-asserted-by":"crossref","unstructured":"Fredlund, L., Penas, J.S.: Model checking a VoD server using McErlang. In: Proceedings of the 2007 Eurocast conference (February 2007)","DOI":"10.1007\/978-3-540-75867-9_68"},{"key":"35_CR8","doi-asserted-by":"crossref","unstructured":"Fredlund, L., Svensson, H.: McErlang: a model checker for a distributed programming language. In: Proceedings of the 2007 ACM SIGPLAN International Conference on Functional Programming (2007)","DOI":"10.1145\/1291151.1291171"},{"key":"35_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/978-3-540-68847-1_24","volume-title":"RoboCup 2007: Robot Soccer World Cup XI","author":"U. Furbach","year":"2008","unstructured":"Furbach, U., Murray, J., Schmidsberger, F., Stolzenburg, F.: Model Checking Hybrid Multiagent Systems for the RoboCup. In: Visser, U., Ribeiro, F., Ohashi, T., Dellaert, F. (eds.) RoboCup 2007: Robot Soccer World Cup XI. LNCS (LNAI), vol.\u00a05001, pp. 262\u2013269. Springer, Heidelberg (2008)"},{"key":"35_CR10","doi-asserted-by":"crossref","unstructured":"Peled, D.: Combining partial order reductions with on-the-fly model-checking. Formal Methods in System Design\u00a08(1) (1996)","DOI":"10.1007\/BF00121262"},{"key":"35_CR11","unstructured":"Raimondi, F.: Model Checking Multi-Agent Systems. PhD thesis, University College London, UK (2006)"},{"key":"35_CR12","unstructured":"Torstendahl, S.: Open telecom platform. Ericsson Review\u00a01 (1997)"},{"key":"35_CR13","unstructured":"Visser, W., Havelund, K., Brat, G., Park, S.: Java pathfinder - second generation of a java model checker (2000)"},{"issue":"2","key":"35_CR14","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1017\/S0269888900008122","volume":"10","author":"M. Wooldridge","year":"1995","unstructured":"Wooldridge, M., Jennings, N.R.: Intelligent agents: Theory and practice. Knowledge Engineering Review\u00a010(2), 115\u2013152 (1995)","journal-title":"Knowledge Engineering Review"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Systems Theory - EUROCAST 2009"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04772-5_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T16:16:09Z","timestamp":1558541769000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04772-5_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642047718","9783642047725"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04772-5_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}