{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T08:44:38Z","timestamp":1725525878072},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642004308"},{"type":"electronic","value":"9783642004315"}],"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-00431-5_3","type":"book-chapter","created":{"date-parts":[[2009,2,24]],"date-time":"2009-02-24T06:14:35Z","timestamp":1235456075000},"page":"34-48","source":"Crossref","is-referenced-by-count":6,"title":["Verifying Robocup Teams"],"prefix":"10.1007","author":[{"given":"Clara","family":"Benac Earle","sequence":"first","affiliation":[]},{"given":"Lars-\u00c5ke","family":"Fredlund","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9 Antonio","family":"Iglesias","sequence":"additional","affiliation":[]},{"given":"Agapito","family":"Ledezma","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_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)"},{"issue":"2","key":"3_CR2","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":"3_CR3","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 Press, New York (2006)"},{"key":"#cr-split#-3_CR4.1","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 (2003);"},{"key":"#cr-split#-3_CR4.2","unstructured":"Manual for Soccer Server Version 7.07 and later (obtainable from sserver.sf.net)"},{"key":"3_CR5","unstructured":"Fredlund, L.: Implementing WS-CDL. In: Proceedings of the second Spanish workshop on Web Technologies (JSWEB 2006). Universidade de Santiago de Compostela (November 2006)"},{"key":"3_CR6","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":"3_CR7","series-title":"Lecture Notes in Computer Science","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, vol.\u00a05001, pp. 262\u2013269. Springer, Heidelberg (2008)"},{"key":"3_CR8","volume-title":"Design and Validation of Computer Protocols","author":"G. Holzmann","year":"1991","unstructured":"Holzmann, G.: Design and Validation of Computer Protocols. Prentice-Hall, Englewood Cliffs (1991)"},{"key":"3_CR9","unstructured":"Torstendahl, S.: Open telecom platform. Ericsson Review\u00a01 (1997)"},{"key":"3_CR10","unstructured":"Vardi, M., Wolper, P.: An automata-theoretic approach to automatic program verification, pp. 332\u2013344 (1986)"},{"key":"3_CR11","unstructured":"Visser, W., Havelund, K., Brat, G., Park, S.: Java pathfinder - second generation of a java model checker (2000)"}],"container-title":["Lecture Notes in Computer Science","Model Checking and Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00431-5_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,5]],"date-time":"2019-03-05T13:49:37Z","timestamp":1551793777000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00431-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642004308","9783642004315"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00431-5_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}