{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T08:30:20Z","timestamp":1725611420390},"publisher-location":"Vienna","reference-count":4,"publisher":"Springer Vienna","isbn-type":[{"type":"print","value":"9783211834053"},{"type":"electronic","value":"9783709168158"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-7091-6815-8_18","type":"book-chapter","created":{"date-parts":[[2011,9,19]],"date-time":"2011-09-19T19:23:51Z","timestamp":1316460231000},"page":"262-267","source":"Crossref","is-referenced-by-count":0,"title":["Modelisation of Co-operative Work"],"prefix":"10.1007","author":[{"given":"M.","family":"Gea","sequence":"first","affiliation":[]},{"given":"F. L.","family":"Gutierrez","sequence":"additional","affiliation":[]},{"given":"J. C.","family":"Torres","sequence":"additional","affiliation":[]},{"given":"N.","family":"Padilla","sequence":"additional","affiliation":[]},{"given":"M.","family":"Cabrera","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","volume-title":"Prentince Hall","author":"A Dix","year":"1998","unstructured":"A. Dix, J. Finlay, G. Abowd, R. Beale: \u201cHuman Computer Interaction, second edition\u201d. Prentince Hall, 1998."},{"key":"18_CR2","volume-title":"In Design, Specification and Verification of Interactive Systems\u201997. Springer Computer Science","author":"J Coutaz","year":"1997","unstructured":"J. Coutaz: \u201cPAC-ing the Architecture of Your User Interface \u201d. In Design, Specification and Verification of Interactive Systems\u201997. Springer Computer Science, 1997."},{"key":"18_CR3","volume-title":"Design, Specification and Verification of Interactive Systems\u201998. Springer Computer Science","author":"F Patern","year":"1998","unstructured":"F. Patern6, C. Santoro, S. Tahmassebi. \u201cFormal Models for Cooperative Task: Concepts and Application for En-Route Air-Traffic Control\u201d. In Design, Specification and Verification of Interactive Systems\u201998. Springer Computer Science, 1998."},{"key":"18_CR4","volume-title":"Academic Press","author":"A Dix","year":"1991","unstructured":"A. Dix: \u201cFormal methods for Interactive Systems \u201d. Academic Press, 1991."}],"container-title":["Eurographics","Design, Specification and Verification of Interactive Systems \u201999"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-7091-6815-8_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T04:51:19Z","timestamp":1606107079000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7091-6815-8_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783211834053","9783709168158"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/978-3-7091-6815-8_18","relation":{},"ISSN":["0946-2767"],"issn-type":[{"type":"print","value":"0946-2767"}],"subject":[],"published":{"date-parts":[[1999]]}}}