{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T15:25:39Z","timestamp":1742916339688,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540231691"},{"type":"electronic","value":"9783540302339"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"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":[[2004]]},"DOI":"10.1007\/978-3-540-30233-9_24","type":"book-chapter","created":{"date-parts":[[2010,10,24]],"date-time":"2010-10-24T12:06:08Z","timestamp":1287921968000},"page":"322-336","source":"Crossref","is-referenced-by-count":1,"title":["Testing of Autonomous Agents Described as Utility State Machines"],"prefix":"10.1007","author":[{"given":"Manuel","family":"N\u00fa\u00f1ez","sequence":"first","affiliation":[]},{"given":"Ismael","family":"Rodr\u00edguez","sequence":"additional","affiliation":[]},{"given":"Fernando","family":"Rubio","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"24_CR1","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/S0304-3975(02)00364-X","volume":"291","author":"K. Adi","year":"2003","unstructured":"Adi, K., Debbabi, M., Mejri, M.: A new logic for electronic commerce protocols. Theoretical Computer Science\u00a0291(3), 223\u2013283 (2003)","journal-title":"Theoretical Computer Science"},{"key":"24_CR2","doi-asserted-by":"publisher","first-page":"795","DOI":"10.1145\/967900.968064","volume-title":"19th ACM Symposium on Applied Computing, SAC 2004","author":"A. Cavalli","year":"2004","unstructured":"Cavalli, A., Maag, S.: Automated test scenarios generation for an e-barter system. In: 19th ACM Symposium on Applied Computing, SAC 2004, pp. 795\u2013799. ACM Press, New York (2004)"},{"key":"24_CR3","unstructured":"Chavez, A., Maes, P.: Kasbah: An agent marketplace for buying and selling goods. In: PAAM 1996, pp. 75\u201390 (1996)"},{"issue":"2","key":"24_CR4","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1017\/S0269888998002082","volume":"13","author":"R. Guttman","year":"1998","unstructured":"Guttman, R., Moukas, A., Maes, P.: Agent-mediated electronic commerce: A survey. The Knowledge Engineering Review\u00a013(2), 147\u2013159 (1998)","journal-title":"The Knowledge Engineering Review"},{"issue":"4","key":"24_CR5","doi-asserted-by":"publisher","first-page":"985","DOI":"10.1109\/TKDE.2003.1209014","volume":"15","author":"M. He","year":"2003","unstructured":"He, M., Jennings, N.R., Leung, H.: On agent-mediated electronic commerce. IEEE Trans. on Knowledge and Data Engineering\u00a015(4), 985\u20131003 (2003)","journal-title":"IEEE Trans. on Knowledge and Data Engineering"},{"key":"24_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/3-540-48080-3_19","volume-title":"Innovative Internet Computing Systems","author":"N. L\u00f3pez","year":"2002","unstructured":"L\u00f3pez, N., N\u00fa\u00f1ez, M., Rodr\u00edguez, I., Rubio, F.: formal framework for e-barter based on microeconomic theory and process algebras. In: Unger, H., B\u00f6hme, T., Mikler, A.R. (eds.) IICS 2002. LNCS, vol.\u00a02346, pp. 217\u2013228. Springer, Heidelberg (2002)"},{"key":"24_CR7","doi-asserted-by":"publisher","first-page":"587","DOI":"10.1145\/952532.952650","volume-title":"18th ACM Symposium on Applied Computing, SAC 2003","author":"N. L\u00f3pez","year":"2003","unstructured":"L\u00f3pez, N., N\u00fa\u00f1ez, M., Rodr\u00edguez, I., Rubio, F.: A multi-agent system for ebarter including transaction and shipping costs. In: 18th ACM Symposium on Applied Computing, SAC 2003, pp. 587\u2013594. ACM Press, New York (2003)"},{"issue":"3","key":"24_CR8","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1145\/295685.295708","volume":"42","author":"M. Ma","year":"1999","unstructured":"Ma, M.: Agents in e-commerce. Communications of the ACM\u00a042(3), 79\u201380 (1999)","journal-title":"Communications of the ACM"},{"key":"24_CR9","first-page":"169","volume-title":"FORTE 2001","author":"M. N\u00fa\u00f1nez","year":"2001","unstructured":"N\u00fa\u00f1nez, M., Rodr\u00edguez, I.: PAMR: A process algebra for the management of resources in concurrent systems. In: FORTE 2001, pp. 169\u2013185. Kluwer Academic Publishers, Dordrecht (2001)"},{"key":"24_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/3-540-48835-9_10","volume-title":"Agent Mediated Electronic Commerce","author":"J.A. Padget","year":"1999","unstructured":"Padget, J.A., Bradford, R.J.: A pi-calculus model of a spanish fish market - preliminary report. In: Noriega, P., Sierra, C. (eds.) AMET 1998 and AMEC 1998. LNCS (LNAI), vol.\u00a01571, pp. 166\u2013188. Springer, Heidelberg (1999)"},{"issue":"11","key":"24_CR11","doi-asserted-by":"publisher","first-page":"763","DOI":"10.1016\/S0950-5849(03)00071-5","volume":"45","author":"R.L. Probert","year":"2003","unstructured":"Probert, R.L., Chen, Y., Cappa, M., Sims, P., Gahaziadeh, B.: Formal verification and validation for e-commerce: Theory and best practices. Journal of Information and Software Technology\u00a045(11), 763\u2013777 (2003)","journal-title":"Journal of Information and Software Technology"},{"key":"24_CR12","doi-asserted-by":"publisher","first-page":"774","DOI":"10.1145\/967900.968060","volume-title":"19th ACM Symposium on Applied Computing, SAC 2004","author":"I. Rodr\u00edguez","year":"2004","unstructured":"Rodr\u00edguez, I.: Formal specification of autonomous commerce agents. In: 19th ACM Symposium on Applied Computing, SAC 2004, pp. 774\u2013778. ACM Press, New York (2004)"},{"key":"24_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/978-3-540-30233-9_3","volume-title":"Applying Formal Methods: Testing, Performance, and M\/E-Commerce","author":"I. Rodr\u00edguez","year":"2004","unstructured":"Rodr\u00edguez, I., N\u00fa\u00f1ez, M., Rubio, F.: Specification of autonomous agents in e-commerce systems. In: N\u00fa\u00f1ez, M., Maamar, Z., Pelayo, F.L., Pousttchi, K., Rubio, F. (eds.) FORTE 2004. LNCS, vol.\u00a03236, pp. 30\u201344. Springer, Heidelberg (2004)"},{"key":"24_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/BFb0053679","volume-title":"Cooperative Information Agents II. Learning, Mobility and Electronic Commerce for Information Discovery on the Internet","author":"T. Sandholm","year":"1998","unstructured":"Sandholm, T.: Agents in electronic commerce: Component technologies for automated negotiation and coalition formation. In: Klusch, M., Weiss, G. (eds.) CIA 1998. LNCS (LNAI), vol.\u00a01435, pp. 113\u2013134. Springer, Heidelberg (1998)"}],"container-title":["Lecture Notes in Computer Science","Applying Formal Methods: Testing, Performance, and M\/E-Commerce"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30233-9_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T19:07:56Z","timestamp":1558292876000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30233-9_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540231691","9783540302339"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30233-9_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}