@inproceedings{arthogaroche06,
  author = {C. Artho and P. Garoche},
  title = {Accurate Centralization for Applying Model Checking on Networked Applications},
  booktitle = {Proc.\ 21st Int.\  Conf.\ on Automated Software Engineering (ASE~2006)},
  year = {2006},
  pages = {177--188},
  publisher = {IEEE Computer Society},
  address = {Tokyo, Japan},
}