245 followers Verification papers @verif_papers Call Graph Profiling for Multi Agent Systems http://t.co/8MoosGZIzs 12 Aug 2015 Reply Repost Favourite