{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T21:43:29Z","timestamp":1725745409258},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,9]]},"DOI":"10.1109\/tase.2017.8285638","type":"proceedings-article","created":{"date-parts":[[2018,2,12]],"date-time":"2018-02-12T22:54:03Z","timestamp":1518476043000},"page":"1-6","source":"Crossref","is-referenced-by-count":5,"title":["On the semantics of temporal specifications of component-behavior for dynamic architectures"],"prefix":"10.1109","author":[{"given":"Diego","family":"Marmsoler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/4904.4999"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-012-0236-1"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49630-5_20"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-46750-4_14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/243327.243340"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxq005"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1075405.1075411"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14808-8_21"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54848-2_3"},{"key":"ref8","first-page":"200","article-title":"Using temporal logic for dynamic reconfigurations of components","author":"dormoy","year":"2010","journal-title":"Formal Aspects of Component Software"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/IWSSD.1996.501143"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46678-0_11"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2002.1115028"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(83)90082-8"}],"event":{"name":"2017 International Symposium on Theoretical Aspects of Software Engineering (TASE)","start":{"date-parts":[[2017,9,13]]},"location":"Sophia Antipolis","end":{"date-parts":[[2017,9,15]]}},"container-title":["2017 International Symposium on Theoretical Aspects of Software Engineering (TASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8277122\/8285614\/08285638.pdf?arnumber=8285638","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,3,26]],"date-time":"2018-03-26T21:04:49Z","timestamp":1522098289000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8285638\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/tase.2017.8285638","relation":{},"subject":[],"published":{"date-parts":[[2017,9]]}}}