Modelling and Verification of Large-Scale Sensor Network Infrastructures.

Michele Sevegnani, Milan Kabc, Muffy Calder, Julie A. McCann

Browse the full ICECCS paper archive.