Ashalatha Kunnappilly, Simin Cai, Raluca Marinescu, Cristina Seceleanu. Architecture Modelling and Formal Analysis of Intelligent Multi-Agent Systems. In Ernesto Damiani, George Spanoudakis, Leszek A. Maciaszek, editors, Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2019, Heraklion, Crete, Greece, May 4-5, 2019. pages 114-126, SciTePress, 2019. [doi]
@inproceedings{KunnappillyCMS19,
title = {Architecture Modelling and Formal Analysis of Intelligent Multi-Agent Systems},
author = {Ashalatha Kunnappilly and Simin Cai and Raluca Marinescu and Cristina Seceleanu},
year = {2019},
doi = {10.5220/0007730201140126},
url = {https://doi.org/10.5220/0007730201140126},
researchr = {https://researchr.org/publication/KunnappillyCMS19},
cites = {0},
citedby = {0},
pages = {114-126},
booktitle = {Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2019, Heraklion, Crete, Greece, May 4-5, 2019},
editor = {Ernesto Damiani and George Spanoudakis and Leszek A. Maciaszek},
publisher = {SciTePress},
isbn = {978-989-758-375-9},
}