Modelling and Analysing Social Networks through Formal Methods and Heuristic Searches.

Antonella Santone, Gigliola Vaglini

Browse the full ICSoft paper archive.