{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T10:32:10Z","timestamp":1742380330055},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540852568"},{"type":"electronic","value":"9783540852575"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-85257-5_19","type":"book-chapter","created":{"date-parts":[[2008,9,6]],"date-time":"2008-09-06T13:31:54Z","timestamp":1220707914000},"page":"187-196","source":"Crossref","is-referenced-by-count":14,"title":["Formal Modeling and Verification of Real-Time Multi-Agent Systems: The REMM Framework"],"prefix":"10.1007","author":[{"given":"Francesco","family":"Moscato","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Salvatore","family":"Venticinque","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rocco","family":"Aversa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Beniamino","family":"Di Martino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1-2","key":"19_CR1","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/B:AGNT.0000019688.11109.19","volume":"9","author":"M. d\u2019Inverno","year":"2004","unstructured":"d\u2019Inverno, M., Luck, M., Georgeff, M., Kinny, D., Wooldridge, M.: The dMARS Architechure: A Specification of the Distributed Multi-Agent Reasoning System. Journal of Autonomous Agents and Multi-Agent Systems\u00a09(1-2), 5\u201353 (2004)","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Himoff, J., Skobelev, P., Wooldridge, M.: MAGENTA Technology: Multi-Agent Systems for Industrial Logistics. In: Proceedings of the AAMAS 2005, Industry Track, Utrecht, The Netherlands (2005)","DOI":"10.1145\/1082473.1082805"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Kavi, K., Aborizka, M., Kung, D.: A framework for designing, modeling and analyzing agent based software systems. In: Proc. of 5th International Conference on Algorithms & Architectures for Parallel Processing, Beijing, China, October 23-25 (2002)","DOI":"10.1109\/ICAPP.2002.1173573"},{"issue":"1-2","key":"19_CR4","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1023\/B:AGNT.0000019691.42633.07","volume":"9","author":"V. Silva","year":"2004","unstructured":"Silva, V., Lucena, C.: From a Conceptual Framework for Agents and Objects to a Multi-Agent System Modeling Language. Journal of Autonomous Agents and Multi-Agent Systems\u00a09(1-2), 145\u2013189 (2004)","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"},{"key":"19_CR5","unstructured":"Zhang, L.: Development Method for Multi-Agent Real-Time Systems. International Journal of Information Technology\u00a012(5) (2006)"},{"key":"19_CR6","volume-title":"Multi-Agent Programming","author":"A. Pokahr","year":"2005","unstructured":"Pokahr, A., Braubach, L., Lamersdorf, W.: Jadex: A BDI Reasoning Engine. In: Bordini, R., Dastani, M., Dix, J., Seghrouchni, A. (eds.) Multi-Agent Programming. Kluwer, Dordrecht (2005)"},{"issue":"2","key":"19_CR7","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1142\/S0218213006002631","volume":"15","author":"M. Wooldridge","year":"2006","unstructured":"Wooldridge, M., Huget, M.-P., Fisher, M., Parsons, S.: Model Checking Multi-Agent Systems: The MABLE Language and Its Applications. International Journal on Artificial Intelligence Tools\u00a015(2), 195\u2013225 (2006)","journal-title":"International Journal on Artificial Intelligence Tools"},{"key":"19_CR8","volume-title":"Proceedings of the First European Workshop on Multiagent Systems (EUMAS 2003)","author":"M. Wooldridge","year":"2003","unstructured":"Wooldridge, M.: An Automata-theoretic approach to multiagent planning. In: Proceedings of the First European Workshop on Multiagent Systems (EUMAS 2003). Oxford University, Oxford (2003)"},{"key":"19_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1007\/978-3-540-25936-7_4","volume-title":"Programming Multi-Agent Systems","author":"R.H. Bordini","year":"2004","unstructured":"Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Verifiable multi-agent programs. In: Dastani, M., Dix, J., El Fallah-Seghrouchni, A. (eds.) PROMAS 2003. LNCS (LNAI), vol.\u00a03067, pp. 72\u201389. Springer, Heidelberg (2004)"},{"key":"19_CR10","volume-title":"Department of Computer Science","author":"G. Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A Tutorial on Uppaal. In: Department of Computer Science. Aalborg University, Denmark (2004)"},{"key":"19_CR11","unstructured":"Bellifemine, F., Caire, G., Poggi, A., Rimassa, G.: JADE - A white paper. EXP in search of innovation - Special Issue on JADE TILAB Journal (2003)"},{"key":"19_CR12","unstructured":"Wong, S.: StarUML Tutorial [Connexions Web site] (September 10, 2007), \n                    \n                      http:\/\/cnx.org\/content\/m15092\/1.1\/"},{"key":"19_CR13","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1145\/1176617.1176626","volume-title":"Companion to the 21st ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications OOPSLA 2006","author":"I. Trencansky","year":"2006","unstructured":"Trencansky, I., Cervenka, R., Greenwood, D.: Applying a UML-based agent modeling language to the autonomic computing domain. In: Companion to the 21st ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications OOPSLA 2006, Portland, Oregon, USA, October 22 - 26, pp. 521\u2013529. ACM, New York (2006)"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"Kaminka, G.A., Veloso, M., Schaffer, S., Sollitto, C., Adobbati, R., Marshal, A.N., Scholer, A.S., Tejada, S.: GameBots: the ever-challenging multi-agent research test-bed. Communications of the ACM (January 2002)","DOI":"10.1145\/502269.502293"}],"container-title":["Studies in Computational Intelligence","Intelligent Distributed Computing, Systems and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85257-5_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,3]],"date-time":"2019-03-03T07:37:58Z","timestamp":1551598678000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85257-5_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540852568","9783540852575"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85257-5_19","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2008]]}}}