{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T01:18:36Z","timestamp":1729646316878,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icpads.2005.294","type":"proceedings-article","created":{"date-parts":[[2005,11,15]],"date-time":"2005-11-15T10:48:27Z","timestamp":1132051707000},"page":"391-397","source":"Crossref","is-referenced-by-count":3,"title":["Verifying Large Numbers of Cooperating Adaptive Agents"],"prefix":"10.1109","volume":"1","author":[{"given":"C.","family":"Rouff","sequence":"first","affiliation":[]},{"given":"M.","family":"Hinchey","sequence":"additional","affiliation":[]},{"given":"W.","family":"Truszkowski","sequence":"additional","affiliation":[]},{"given":"J.","family":"Rash","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"13","doi-asserted-by":"crossref","first-page":"951","DOI":"10.1006\/bulm.2001.0252","article-title":"Ants and agents: A process algebra approach to modelling ant colony behaviour","volume":"63","author":"sumpter","year":"2001","journal-title":"Bulletin of Mathematical Biology"},{"key":"14","first-page":"227","article-title":"Describing social insect behaviour using process algebra","author":"tofts","year":"1991","journal-title":"Trans Soc Computer Simulation"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2004.1347500"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0851-1_3"},{"key":"3","article-title":"ANTS (Autonomous Nano-Technology Swarm): An artificial intelligence approach to asteroid belt resource exploration","author":"curtis","year":"2000","journal-title":"Int Astronautical Federation 51st Congr"},{"journal-title":"Parallel Program Design A Foundation","year":"1988","author":"chandy","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/S0169-5347(97)01048-3"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2004.1310922"},{"key":"7","article-title":"Mathematical models of cell biochemistry","volume":"cs 86 4","author":"holcombe","year":"1986","journal-title":"Technical Report"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0523-7"},{"key":"4","article-title":"ANTS: Applying a new paradigm to lunar and planetary exploration","author":"clark","year":"2002","journal-title":"Proc Solar System Remote Sensing Symposium"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2000.873929"},{"key":"8","article-title":"Validating the DS1 remote agent experiment","author":"nayak","year":"0","journal-title":"Proc 5th International Symposium on Artificial Intelligence Robotics and Automation in Space (ISAIRAS-99)"}],"event":{"name":"11th International Conference on Parallel and Distributed Systems (ICPADS'05)","location":"Fukuoka, Japan"},"container-title":["11th International Conference on Parallel and Distributed Systems (ICPADS'05)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10248\/32668\/01531155.pdf?arnumber=1531155","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T20:55:53Z","timestamp":1497646553000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1531155\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/icpads.2005.294","relation":{},"subject":[]}}