@inproceedings {380,
	title = {Mobile Systems from a Validation Perspective: a Case Study},
	booktitle = {Sixth International Symposium on Parallel and Distributed Computing (ISPDC07)},
	year = {2007},
	month = {2007},
	pages = {85 - 92},
	publisher = {IEEE Computer Society Press},
	organization = {IEEE Computer Society Press},
	doi = {10.1109/ISPDC.2007.37},
	author = {H{\'e}l{\`e}ne Waeselynck and Zolt{\'a}n Micskei and Minh Duc Nguyen and Nicolas Rivi{\`e}re}
}
