Correctness of Sensor Network Applications by Software Bounded Model Checking.

Frank Werner, David Farag

Browse the full FMICS paper archive.