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.

Authors

Antonella Santone

This author has not been identified. Look up 'Antonella Santone' in Google

Gigliola Vaglini

This author has not been identified. Look up 'Gigliola Vaglini' in Google