Formal probabilistic analysis of detection properties in wireless sensor networks
scientific article; zbMATH DE number 6526770