@INPROCEEDINGS{Jard99b,
  author = {Jard, Claude and J\'eron, Thierry and Tanguy, L\'ena\"{\i}ck and
	Viho, C\'esar},
  title = {Remote testing can be as powerful as local testing},
  booktitle = {Formal methods for protocol engineering and distributed systems,
	FORTE XII/ PSTV XIX' 99, Beijing, China},
  year = {1999},
  editor = {Jianping Wu and Samuel Chanson and Qiang Gao},
  pages = {25--40},
  month = oct,
  publisher = {Kluwer Academic Publishers}
}