{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T14:26:07Z","timestamp":1725978367165},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319911915"},{"type":"electronic","value":"9783319911922"}],"license":[{"start":{"date-parts":[[2018,5,17]],"date-time":"2018-05-17T00:00:00Z","timestamp":1526515200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-319-91192-2_24","type":"book-chapter","created":{"date-parts":[[2018,5,16]],"date-time":"2018-05-16T13:45:41Z","timestamp":1526478341000},"page":"233-245","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Multi-agent Systems Interacting (Addressing Scopes, Control Resources)"],"prefix":"10.1007","author":[{"given":"Mohamad","family":"Kadi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Said","family":"Krayem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roman","family":"Jasek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petr","family":"Zacek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bronislav","family":"Chramcov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,5,17]]},"reference":[{"key":"24_CR1","unstructured":"Brahnam, S., Jain, L.C.: Dhu\u02bbl-H. 17, 1435 AH\u00a0\u2013\u00a0Computers, 291\u00a0p. Springer, Heidelberg"},{"key":"24_CR2","unstructured":"Cellular Automata and Agent - based Models - A Theoritical Framework. http:\/\/wgbis.ces.iisc.ernet.in\/energy\/paper\/TR100\/tr100_cel.htm"},{"key":"24_CR3","unstructured":"Kaminka, G.A.: Robots are Agents, Too!\u00a0AgentLink News, pp. 16\u201317, December 2004"},{"key":"24_CR4","unstructured":"Kubera, Y., Mathieu, P., Picault, S.: Everything can be Agent! (PDF). In: Proceedings of the Ninth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2010), Toronto, Canada, pp. 1547\u20131548 (2010)"},{"key":"24_CR5","unstructured":"Ferber, J.: Multi-Agent System: An Introduction to Distributed Artificial Intelligence. Addison Wesley Longman, Harlow (1999). Paper: ISBN 0-201-36048-9"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"Abrial, J-R.: The B book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)","DOI":"10.1017\/CBO9780511624162"},{"key":"24_CR7","unstructured":"Abrial, J-R.: Extending B without changing it (for developing distributed systems). In: First B Conference Putting Into Practice Methods and Tools for Information System Design, Nantes, pp. 169\u2013190 (1996)"},{"key":"24_CR8","unstructured":"Metayer, C., Abrial, J., Voisin, L.: Event-B Language. Technical report D7, z RODIN Project Deliverable (2005)"},{"key":"24_CR9","unstructured":"Butler, M.: Mastering System Analysis and Design through Abstraction and Refinement. Deploy (2012)"},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"Butler, M.: Reasoned Modelling with Event-B, 30 January 2017","DOI":"10.1007\/978-3-319-56841-6_3"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)","DOI":"10.1017\/CBO9781139195881"}],"container-title":["Advances in Intelligent Systems and Computing","Cybernetics and Algorithms in Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-91192-2_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,17]],"date-time":"2019-10-17T23:53:04Z","timestamp":1571356384000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-91192-2_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,17]]},"ISBN":["9783319911915","9783319911922"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-91192-2_24","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2018,5,17]]}}}