Francesco Luca De Angelis, Giovanna Di Marzo Serugendo. A Logic Language for Run Time Assessment of Spatial Properties in Self-Organizing Systems. In 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASO Workshops 2015, Cambridge, MA, USA, September 21-25, 2015. pages 86-91, IEEE Computer Society, 2015. [doi]
@inproceedings{AngelisS15a,
title = {A Logic Language for Run Time Assessment of Spatial Properties in Self-Organizing Systems},
author = {Francesco Luca De Angelis and Giovanna Di Marzo Serugendo},
year = {2015},
doi = {10.1109/SASOW.2015.19},
url = {http://dx.doi.org/10.1109/SASOW.2015.19},
researchr = {https://researchr.org/publication/AngelisS15a},
cites = {0},
citedby = {0},
pages = {86-91},
booktitle = {2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASO Workshops 2015, Cambridge, MA, USA, September 21-25, 2015},
publisher = {IEEE Computer Society},
isbn = {978-1-4673-8439-1},
}