{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T08:49:40Z","timestamp":1725612580090},"reference-count":7,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,3]]},"DOI":"10.1109\/infrkm.2012.6204993","type":"proceedings-article","created":{"date-parts":[[2012,6,1]],"date-time":"2012-06-01T14:52:10Z","timestamp":1338562330000},"page":"290-293","source":"Crossref","is-referenced-by-count":1,"title":["Dealing with conflict in CSCW model for writing formal software specification document"],"prefix":"10.1109","author":[{"given":"Mohamed Ahmed","family":"Sullabi","sequence":"first","affiliation":[]},{"family":"Mustafa Bashir Abugharsa","sequence":"additional","affiliation":[]},{"family":"Alhusain Mohamed Taher","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","article-title":"Making No determinism Explicit in Z","author":"mirian","year":"2002","journal-title":"Proceedings of the Iranian Computer Society Annual Conference (CSICC'02) Tehran Iran February"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.3844\/ajassp.2008.378.384"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.3844\/jcssp.2008.333.340"},{"journal-title":"Great Meetings! Great Results","year":"2004","author":"kelsey","key":"7"},{"journal-title":"Project Management & Conflict Resolution","year":"2005","author":"bhat","key":"6"},{"journal-title":"Crisp Group Training Video Conflict Management","year":"2005","author":"kindler","key":"5"},{"journal-title":"Formal Specification Using Z A Modelling Approach","year":"1995","author":"bottaci","key":"4"}],"event":{"name":"2012 International Conference on Information Retrieval & Knowledge Management (CAMP)","start":{"date-parts":[[2012,3,13]]},"location":"Kuala Lumpur, Malaysia","end":{"date-parts":[[2012,3,15]]}},"container-title":["2012 International Conference on Information Retrieval &amp; Knowledge Management"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6200786\/6204970\/06204993.pdf?arnumber=6204993","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T14:00:22Z","timestamp":1490104822000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6204993\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3]]},"references-count":7,"URL":"https:\/\/doi.org\/10.1109\/infrkm.2012.6204993","relation":{},"subject":[],"published":{"date-parts":[[2012,3]]}}}