{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T08:05:35Z","timestamp":1725437135854},"reference-count":9,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/isads.1999.838464","type":"proceedings-article","created":{"date-parts":[[2003,1,22]],"date-time":"2003-01-22T15:57:59Z","timestamp":1043251079000},"page":"380-383","source":"Crossref","is-referenced-by-count":0,"title":["Applying model checking to concurrent object-oriented software"],"prefix":"10.1109","author":[{"family":"Seung Mo Cho","sequence":"first","affiliation":[]},{"family":"Doo Hwan Bae","sequence":"additional","affiliation":[]},{"family":"Sung Deok Cha","sequence":"additional","affiliation":[]},{"family":"Young Gon Kim","sequence":"additional","affiliation":[]},{"family":"Byung Kyu Yoo","sequence":"additional","affiliation":[]},{"family":"Sang Taek Kim","sequence":"additional","affiliation":[]},{"given":"Y.K.A.","family":"Kr","sequence":"additional","affiliation":[]},{"given":"S.T.","family":"Kim","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/32.489079"},{"key":"ref3","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","author":"agha","year":"1986","journal-title":"Actors A Model of Concurrent Computation in Distributed Systems"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90017-A"},{"journal-title":"Design and Validation of Computer Protocols","year":"1991","author":"holzmann","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1998.671101"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/88.218170"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/239098.239127"}],"event":{"name":"ISADs'99: Fourth International Symposium on Autonomous Decentralized Systems","acronym":"ISADS-99","location":"Tokyo, Japan"},"container-title":["Proceedings. Fourth International Symposium on Autonomous Decentralized Systems. - Integration of Heterogeneous Systems -"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6754\/18058\/00838464.pdf?arnumber=838464","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,3]],"date-time":"2021-06-03T11:32:03Z","timestamp":1622719923000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/838464\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/isads.1999.838464","relation":{},"subject":[]}}