Ad-hoc sensor networks: modeling, specification and verification

@inproceedings{Oleshchuk2003AdhocSN,
  title={Ad-hoc sensor networks: modeling, specification and verification},
  author={Vladimir A. Oleshchuk},
  year={2003}
}