{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:30:45Z","timestamp":1725521445742},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540922186"},{"type":"electronic","value":"9783540922193"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-92219-3_34","type":"book-chapter","created":{"date-parts":[[2008,11,26]],"date-time":"2008-11-26T08:54:40Z","timestamp":1227689680000},"page":"453-466","source":"Crossref","is-referenced-by-count":1,"title":["Formal Verification of an Agent-Based Support System for Medicine Intake"],"prefix":"10.1007","author":[{"given":"Mark","family":"Hoogendoorn","sequence":"first","affiliation":[]},{"given":"Michel C. A.","family":"Klein","sequence":"additional","affiliation":[]},{"given":"Zulfiqar A.","family":"Memon","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Treur","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"34_CR1","doi-asserted-by":"crossref","unstructured":"Safren, S.A., Hendriksen, E.S., Desousa, N., Boswell, S.L., Mayer, K.H.: Use of an on-line pager system to increase adherence to antiretroviral medications. In: AIDS CARE, vol.\u00a015, pp. 787\u2013793 (2003)","DOI":"10.1080\/09540120310001618630"},{"key":"34_CR2","unstructured":"Green, D.J.: Realtime Compliance Management Using a Wireless Realtime Pillbottle \u2013 A Report on the Pilot Study of SIMPILL. In: Proc. of the International Conference for eHealth, Telemedicine and Health, Med-e-Tel 2005, Luxemburg (2005)"},{"key":"34_CR3","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1080\/088395100403397","volume":"14","author":"F.M.T. Brazier","year":"2000","unstructured":"Brazier, F.M.T., Jonker, C.M., Treur, J.: Compositional Design and Reuse of a Generic Agent Model. Applied Artificial Intelligence Journal\u00a014, 491\u2013538 (2000)","journal-title":"Applied Artificial Intelligence Journal"},{"key":"34_CR4","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1142\/S0218213007003357","volume":"16","author":"T. Bosse","year":"2007","unstructured":"Bosse, T., Jonker, C.M., van der Meij, L., Treur, J.: A Language and Environment for Analysis of Dynamics by Simulation. Int. Journal of Artificial Intelligence Tools\u00a016, 435\u2013464 (2007)","journal-title":"Int. Journal of Artificial Intelligence Tools"},{"key":"34_CR5","unstructured":"Hoogendoorn, M., Klein, M., Treur, J.: Formal Design and Simulation of an Ambient Multi-Agent System Model for Medicine Usage Management. In: Proceedings of the International Workshop on Ambient Assisted Living (AAL 2007) (to appear, 2007)"},{"key":"34_CR6","unstructured":"Bosse, T., Memon, Z.A., Treur, J.: A Two-level BDI-Agent Model for Theory of Mind and its Use in Social Manipulation. In: Olivier, P., Kray, C. (eds.) Proceedings of AISB 2007, pp. 335\u2013342. AISB Publications (2007)"},{"key":"34_CR7","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1142\/S0218843002000480","volume":"11","author":"C.M. Jonker","year":"2002","unstructured":"Jonker, C.M., Treur, J.: Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness. Intl. J. of Coop. Inf. Systems\u00a011, 51\u201392 (2002)","journal-title":"Intl. J. of Coop. Inf. Systems"},{"key":"34_CR8","first-page":"247","volume-title":"Proceedings of IAT 2006","author":"T. Bosse","year":"2006","unstructured":"Bosse, T., Jonker, C.M., van der Meij, L., Sharpanskykh, A., Treur, J.: Specification and Verification of Dynamics in Cognitive Agent Models. In: Nishida, T., et al. (eds.) Proceedings of IAT 2006, pp. 247\u2013254. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"34_CR9","unstructured":"McMillan, K.L.: Symbolic Model Checking: An Approach to the State Explosion Problem. PhD thesis, School of Computer Science, CMU, Pittsburgh (1992). Kluwer Academic Publishers, Dordrecht (1993)"},{"key":"34_CR10","series-title":"Lecture Notes in Computer Science","first-page":"432","volume-title":"Ambient Intelligence","year":"2003","unstructured":"Aarts, E., Collier, R.W., van Loenen, E., de Ruyter, B. (eds.): EUSAI 2003. LNCS, vol.\u00a02875, p. 432. Springer, Heidelberg (2003)"},{"key":"34_CR11","first-page":"235","volume-title":"The Invisible Future","author":"E. Aarts","year":"2001","unstructured":"Aarts, E., Harwig, R., Schuurmans, M.: Ambient Intelligence. In: Denning, P. (ed.) The Invisible Future, pp. 235\u2013250. McGraw Hill, New York (2001)"},{"volume-title":"Ambient Intelligence","year":"2005","key":"34_CR12","unstructured":"Riva, G., Vatalaro, F., Davide, F., Alca\u00f1iz, M. (eds.): Ambient Intelligence. IOS Press, Amsterdam (2005)"},{"volume-title":"Applications of Software Agent Technology in Health Care Domain","year":"2004","key":"34_CR13","unstructured":"Moreno, A., Nealon, J.L. (eds.): Applications of Software Agent Technology in Health Care Domain. Birkh\u00e4user, Basel (2004)"},{"key":"34_CR14","series-title":"Lecture Notes in Computer Science","volume-title":"UbiComp 2003: Ubiquitous Computing","author":"C. Floerkemeier","year":"2003","unstructured":"Floerkemeier, C., Siegemund, F.: Improving the Effectiveness of Medical Treatment with Pervasive Computing Technologies. In: Dey, A.K., Schmidt, A., McCarthy, J.F. (eds.) UbiComp 2003. LNCS, vol.\u00a02864. Springer, Heidelberg (2003)"}],"container-title":["Communications in Computer and Information Science","Biomedical Engineering Systems and Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-92219-3_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,4]],"date-time":"2019-03-04T00:21:40Z","timestamp":1551658900000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-92219-3_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540922186","9783540922193"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-92219-3_34","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2008]]}}}