Modelling and Analysing Social Networks through Formal Methods and Heuristic Searches

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.

Abstract

Abstract is missing.