{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T05:10:40Z","timestamp":1737436240701,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540423157"},{"type":"electronic","value":"9783540477723"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-47772-1_29","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T12:13:32Z","timestamp":1187266412000},"page":"293-295","source":"Crossref","is-referenced-by-count":0,"title":["Towards Validation of Specifications by Simulation"],"prefix":"10.1007","author":[{"given":"Ioan Alfred","family":"Letia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florin","family":"Crariun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zoltan","family":"K\u00f6pe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,1,18]]},"reference":[{"key":"29_CR1","unstructured":"John Bell and Zhisheng Huang. Dynamic obligation hierarchies. In P. MacNamara and H. Praken, editors. Proceedings of AEON\u201998, pages 127\u2013142, 1998."},{"issue":"1","key":"29_CR2","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1010090405266","volume":"1","author":"N. R. Jennings","year":"1998","unstructured":"N. R. Jennings, K. Sycara, and M. Wooldridge. A roadmap of agent research. Autonomous Agents and Multi-Agent Systems, 1(1):7\u201338. 1998.","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"issue":"1","key":"29_CR3","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1023\/A:1010046623013","volume":"1","author":"V. R. Lesser","year":"1998","unstructured":"Victor R. Lesser. Reflections on the nature of multi-agent coordination framework and its implications for an agent architecture. Autonomous Agents and Multi-Agent Systems, 1(1):89\u2013111, 1998.","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"29_CR4","doi-asserted-by":"crossref","unstructured":"Ioan Alfred Letia. A TLA+ specification for agent communication that enables proofs. In O. Etzioni, J.P. M\u00fcller, and J.F. Bradshaw, editors. Proceedings of the 3rd Annual Conference on Autonomous Agents, pages 410\u2013411, Seattle, WA, USA, 1999.","DOI":"10.1145\/301136.301276"},{"key":"29_CR5","volume-title":"Technical report","author":"M. Minar","year":"1996","unstructured":"M. Minar, R. Burkhart, C. Langton, and M. Askenazy. The Swarm simulation system: A toolkit, for building multi-agent simulations. Technical report, Santa, Fe Institute, 1996. http:\/\/www.santafe.edu\/projects\/swarm\/ ."},{"key":"29_CR6","unstructured":"R. Vincent, B. Horling, T. Wagner, and V. Lesser. Survivability simulator for multi-agent adaptive coordination. In P. Fishwick, D. Hill, and R. Smith, editors. International Conference on Web-Based Modeling and Simulation, pages 114\u2013119, San Diego, CA, 1998."}],"container-title":["Lecture Notes in Computer Science","Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47772-1_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T11:40:42Z","timestamp":1737373242000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47772-1_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540423157","9783540477723"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-47772-1_29","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}