{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T12:50:53Z","timestamp":1730292653775,"version":"3.28.0"},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,2]]},"DOI":"10.1109\/rivf.2012.6169862","type":"proceedings-article","created":{"date-parts":[[2012,3,26]],"date-time":"2012-03-26T21:51:16Z","timestamp":1332798676000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification"],"prefix":"10.1109","author":[{"given":"Ngoc Hung","family":"Pham","sequence":"first","affiliation":[]},{"given":"Viet-Ha","family":"Nguyen","sequence":"additional","affiliation":[]},{"given":"Toshiaki","family":"Aoki","sequence":"additional","affiliation":[]},{"given":"Takuya","family":"Katayama","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","first-page":"331","article-title":"Learning assumptions for compositional verification","author":"cobleigh","year":"2003","journal-title":"Proc 9th TACAS"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"journal-title":"Concurrency State models & Java programs","year":"1999","author":"magee","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2008.51"},{"key":"5","first-page":"277","article-title":"A minimized assumption generation method for component-based software verification","volume":"5684","author":"hung","year":"2009","journal-title":"LNCS"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2002.1114984"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1993.1021"},{"journal-title":"French National Institute for Research in Computer Science and Control (INRIA)","year":"2004","key":"8"}],"event":{"name":"Communication Technologies, Research, Innovation, and Vision for the Future (RIVF)","start":{"date-parts":[[2012,2,27]]},"location":"Ho Chi Minh City, Vietnam","end":{"date-parts":[[2012,3,1]]}},"container-title":["2012 IEEE RIVF International Conference on Computing & Communication Technologies, Research, Innovation, and Vision for the Future"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6168956\/6169815\/06169862.pdf?arnumber=6169862","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T16:20:25Z","timestamp":1490113225000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6169862\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,2]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/rivf.2012.6169862","relation":{},"subject":[],"published":{"date-parts":[[2012,2]]}}}