Global property violation detection and diagnosis for wireless sensor networks.

Man Wang, Zhiyuan Li

Browse the full CASES paper archive.