{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:22:32Z","timestamp":1725556952346},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642134630"},{"type":"electronic","value":"9783642134647"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13464-7_7","type":"book-chapter","created":{"date-parts":[[2010,6,7]],"date-time":"2010-06-07T10:50:49Z","timestamp":1275907849000},"page":"78-86","source":"Crossref","is-referenced-by-count":1,"title":["Specification and Testing of E-Commerce Agents Described by Using UIOLTSs"],"prefix":"10.1007","author":[{"given":"Juan Jos\u00e9","family":"Pardo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"N\u00fa\u00f1ez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. Carmen","family":"Ruiz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"7_CR1","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/j.scico.2005.01.002","volume":"57","author":"M. N\u00fa\u00f1ez","year":"2005","unstructured":"N\u00fa\u00f1ez, M., Rodr\u00edguez, I., Rubio, F.: Formal specification of multi-agent e-barter systems. Science of Computer Programming\u00a057(2), 187\u2013216 (2005)","journal-title":"Science of Computer Programming"},{"issue":"4","key":"7_CR2","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1002\/stvr.323","volume":"15","author":"M. N\u00fa\u00f1ez","year":"2005","unstructured":"N\u00fa\u00f1ez, M., Rodr\u00edguez, I., Rubio, F.: Specification and testing of autonomous agents in e-commerce systems. Software Testing, Verification and Reliability\u00a015(4), 211\u2013233 (2005)","journal-title":"Software Testing, Verification and Reliability"},{"key":"7_CR3","series-title":"SCI","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-642-03958-4_17","volume-title":"New Challenges in Computational Collective Intelligence","author":"J.J. Pardo","year":"2009","unstructured":"Pardo, J.J., N\u00fa\u00f1ez, M., Ruiz, M.C.: A novel formalism to represent collective intelligence in multi-agent systems. In: New Challenges in Computational Collective Intelligence. SCI, vol.\u00a0244, pp. 193\u2013204. Springer, Heidelberg (2009)"},{"issue":"3","key":"7_CR4","first-page":"103","volume":"17","author":"J. Tretmans","year":"1996","unstructured":"Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software \u2013 Concepts and Tools\u00a017(3), 103\u2013120 (1996)","journal-title":"Software \u2013 Concepts and Tools"},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-78917-8_1","volume-title":"Formal Methods and Testing","author":"J. Tretmans","year":"2008","unstructured":"Tretmans, J.: Model based testing with labelled transition systems. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) FORTEST 2008. LNCS, vol.\u00a04949, pp. 1\u201338. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13464-7_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T12:04:18Z","timestamp":1619784258000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13464-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642134630","9783642134647"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13464-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}