{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:06:20Z","timestamp":1729631180486,"version":"3.28.0"},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/sasow.2015.19","type":"proceedings-article","created":{"date-parts":[[2015,10,29]],"date-time":"2015-10-29T22:16:37Z","timestamp":1446156997000},"page":"86-91","source":"Crossref","is-referenced-by-count":4,"title":["A Logic Language for Run Time Assessment of Spatial Properties in Self-Organizing Systems"],"prefix":"10.1109","author":[{"given":"Francesco","family":"Luca De Angelis","sequence":"first","affiliation":[]},{"given":"Giovanna","family":"Di Marzo Serugendo","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.4108\/icst.valuetools.2014.258183"},{"key":"ref3","first-page":"222","article-title":"Specifying and verifying properties of space","author":"ciancia","year":"2014","journal-title":"IFIP TCS'14"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2006.29"},{"key":"ref5","article-title":"A formal approach to the engineering of emergence and its recurrence","author":"randles","year":"2007","journal-title":"Proceedings of the ICAC'07-EEDAS Workshop"},{"journal-title":"Logic Programming and Prolog","year":"1995","author":"nilsson","key":"ref8"},{"key":"ref7","article-title":"Developing pervasive multi-agent systems with nature-inspired coordination","author":"zambonelli","year":"2014","journal-title":"Pervasive and Mobile Computing"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-0349-4_12"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"405","DOI":"10.3233\/FI-2009-209","article-title":"Modeling and reasoning with paraconsistent rough sets","volume":"97","author":"vitria","year":"2009","journal-title":"Fundam Inform"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19282-6_3"}],"event":{"name":"2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops (SASOW)","start":{"date-parts":[[2015,9,21]]},"location":"Cambridge, MA","end":{"date-parts":[[2015,9,25]]}},"container-title":["2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7305895\/7306518\/07306562.pdf?arnumber=7306562","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,10]],"date-time":"2020-09-10T15:39:04Z","timestamp":1599752344000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7306562\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/sasow.2015.19","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}