{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,7]],"date-time":"2025-06-07T17:41:35Z","timestamp":1749318095143},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,3]]},"DOI":"10.23919\/date.2018.8342266","type":"proceedings-article","created":{"date-parts":[[2018,4,23]],"date-time":"2018-04-23T23:20:11Z","timestamp":1524525611000},"source":"Crossref","is-referenced-by-count":6,"title":["Specification decomposition for synthesis from libraries of LTL Assume\/Guarantee contracts"],"prefix":"10.23919","author":[{"given":"Antonio","family":"Iannopollo","sequence":"first","affiliation":[]},{"given":"Stavros","family":"Tripakis","sequence":"additional","affiliation":[]},{"given":"Alberto","family":"Sangiovanni-Vincentelli","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","author":"schnoebelen","year":"2002","journal-title":"The Complexity of Temporal Logic Model Checking"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1981.44"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.2514\/4.479526"},{"key":"ref13","first-page":"1","article-title":"Library-based scalable refinement checking for contract-based design","author":"iannopollo","year":"2014","journal-title":"Design Automation and Test in Europe Conference and Exhibition (DATE) 2014"},{"key":"ref4","first-page":"92","article-title":"Constrained synthesis from component libraries","author":"iannopollo","year":"2016","journal-title":"Formal Aspects of Component Software 13th International Conference FACS 2016"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2014.6961848"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36577-X_25"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3083157.3083159"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2000.896481"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883842"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.18.217-238"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-92188-2_9"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7799148"}],"event":{"name":"2018 Design, Automation & Test in Europe Conference & Exhibition (DATE)","location":"Dresden, Germany","start":{"date-parts":[[2018,3,19]]},"end":{"date-parts":[[2018,3,23]]}},"container-title":["2018 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8337149\/8341968\/08342266.pdf?arnumber=8342266","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,5,8]],"date-time":"2018-05-08T18:23:25Z","timestamp":1525803805000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8342266\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3]]},"references-count":13,"URL":"https:\/\/doi.org\/10.23919\/date.2018.8342266","relation":{},"subject":[],"published":{"date-parts":[[2018,3]]}}}