Antonella Santone, Gigliola Vaglini. Modelling and Analysing Social Networks through Formal Methods and Heuristic Searches. In Slimane Hammoudi, Marten van Sinderen, José Cordeiro, editors, ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24 - 27 July, 2012. pages 336-339, SciTePress, 2012.
@inproceedings{SantoneV12-0,
title = {Modelling and Analysing Social Networks through Formal Methods and Heuristic Searches},
author = {Antonella Santone and Gigliola Vaglini},
year = {2012},
researchr = {https://researchr.org/publication/SantoneV12-0},
cites = {0},
citedby = {0},
pages = {336-339},
booktitle = {ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24 - 27 July, 2012},
editor = {Slimane Hammoudi and Marten van Sinderen and José Cordeiro},
publisher = {SciTePress},
isbn = {978-989-8565-19-8},
}