Emad Eldeen Elakehal, Marco Montali, Julian Padget. Run-Time Verification of MSMAS Norms Using Event Calculus. In Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2014, London, United Kingdom, September 8-12, 2014. pages 110-115, IEEE, 2014. [doi]
@inproceedings{ElakehalMP14,
title = {Run-Time Verification of MSMAS Norms Using Event Calculus},
author = {Emad Eldeen Elakehal and Marco Montali and Julian Padget},
year = {2014},
doi = {10.1109/SASOW.2014.31},
url = {http://dx.doi.org/10.1109/SASOW.2014.31},
researchr = {https://researchr.org/publication/ElakehalMP14},
cites = {0},
citedby = {0},
pages = {110-115},
booktitle = {Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2014, London, United Kingdom, September 8-12, 2014},
publisher = {IEEE},
isbn = {978-1-4799-6378-2},
}