@inproceedings{waeselynck-micskei-nguyen-riviere-ispdc2007,
  author={Helene Waeselynck and Zoltan Micskei and Minh Duc Nguyen and Nicolas Riviere},
  title={Mobile Systems from a Validation Perspective: a Case Study},
  booktitle={ISPDC '07: Proceedings of the Sixth International Symposium on Parallel and Distributed Computing},
  year={2007},
  isbn={0-7695-2936-4 },
  pages={1-8},
  doi={10.1109/ISPDC.2007.37},
  publisher={IEEE},
  address={Hagenberg, Austria},
  abstract={Advances in wireless networking have yielded the development of mobile
    applications. However, sound technology to specify, design and validate such
    applications is still to be investigated. In order to exemplify some of the
    challenges that are raised, this paper reports on a case study: a group membership
    protocol for ad hoc networks. The protocol has been analyzed by reviewing the
    specification and the code, and then by testing the implementation. The outcomes
    provides us with hints for research direction.},
}