{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T15:45:37Z","timestamp":1725896737421},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642246890"},{"type":"electronic","value":"9783642246906"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-24690-6_34","type":"book-chapter","created":{"date-parts":[[2011,10,25]],"date-time":"2011-10-25T01:35:37Z","timestamp":1319506537000},"page":"486-501","source":"Crossref","is-referenced-by-count":0,"title":["A Formal Approach to Analysing Knowledge Transfer Processes in Developing Countries"],"prefix":"10.1007","author":[{"given":"Jin","family":"Tong","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Siraj A.","family":"Shaikh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anne E.","family":"James","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"34_CR1","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/s10270-007-0072-x","volume":"7","author":"A. Cerone","year":"2008","unstructured":"Cerone, A., Connelly, S., Lindsay, P.: Formal analysis of human operator behavioural patterns in interactive surveillance systems. Software and System Modeling\u00a07, 273\u2013286 (2008)","journal-title":"Software and System Modeling"},{"key":"34_CR2","doi-asserted-by":"crossref","unstructured":"Cerone, A., Shaikh, S.A.: Formal Analysis of Security in Interactive Systems. In: Handbook of Research on Social and Organizational Liabilities in Information Security, ch. 25, pp. 415\u2013432. Information Science Reference (2008)","DOI":"10.4018\/978-1-60566-132-2.ch025"},{"key":"34_CR3","volume-title":"Working Knowledge: How Organizations Manage What They Know","author":"T. Davenport","year":"1998","unstructured":"Davenport, T., Prusak, L.: Working Knowledge: How Organizations Manage What They Know. Harvard Business School Press, Boston (1998)"},{"key":"34_CR4","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1986","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall International, Englewood Cliffs (1986)"},{"key":"34_CR5","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/978-0-387-35609-9_19","volume-title":"Human Choice and Computers: Issues of Choice and Quality of Life in Developing Countries","author":"A. Okunoye","year":"2002","unstructured":"Okunoye, A.: Towards a framework for sustainable knowledge management in organisations in developing countries. In: Brunnstein, K., Berleur, J. (eds.) Human Choice and Computers: Issues of Choice and Quality of Life in Developing Countries, pp. 225\u2013237. Springer, Heidelberg (2002)"},{"key":"34_CR6","volume-title":"Concurrent and Real-time Systems: The CSP Approach","author":"S. Schneider","year":"2000","unstructured":"Schneider, S.: Concurrent and Real-time Systems: The CSP Approach. John Wiley and Sons, Ltd., Chichester (2000)"},{"key":"34_CR7","unstructured":"Shaikh, S., Krishnan, P., Cerone, A.: Formal approach to human error recovery. In: The Pre-proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007), pp. 101\u2013135 (2007)"},{"key":"34_CR8","unstructured":"Tong, J., Ayres, R.: A low-level model for knowledge transfer. In: Proceeding of the IADIS International Conference on Information Systems, Barcelona, Spain, pp. 169\u2013176 (2009)"},{"key":"34_CR9","series-title":"IFIP AICT","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/978-3-642-15476-8_7","volume-title":"Communications: Wireless in Developing Countries and Networks of the Future","author":"J. Tong","year":"2010","unstructured":"Tong, J., Shaikh, S.: ICT driven knowledge management in developing countries: A case study in a chinese organisation. In: Pont, A., Pujolle, G., Raghavan, S.V. (eds.) WCITD 2010. IFIP AICT, vol.\u00a0327, pp. 60\u201371. Springer, Heidelberg (2010)"},{"key":"34_CR10","unstructured":"Tong, J., Shaikh, S., James, A.: A formal approach to modelling knowledge transfer processes. In: Tome, E. (ed.) Proceedings of the 11th European Conference on Knowledge Management, Famalicao, Portugal, pp. 1012\u20131021 (2010)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24690-6_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,14]],"date-time":"2019-04-14T02:26:14Z","timestamp":1555208774000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24690-6_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642246890","9783642246906"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24690-6_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}