@inproceedings{micskeiz-MiniSymp08,
  author={Zoltan Micskei},
  year={2008},
  title={Specifying Tests for Ad-Hoc Mobile Systems},
  booktitle={Proceedings of the 15th PhD Mini-Symposium},
  address={Budapest, Hungary}
}