Towards informed swarm verification (2011)

by A Wijs
Venue:in Proc. NFM 2011, ser. LNCS