@inproceedings{LeungwattanakitAHTY09,
  author    = {W. Leungwattanakit and C. Artho and M. Hagiya and Y. Tanabe and
               M. Yamamoto},
  title     = {Verifying networked programs using a model checker extension},
  booktitle = {31st Int.\ Conf.\ on Software Engineering (ICSE~2009), Companion Volume},
  year      = {2009},
  pages     = {409--410},
  address   = {Vancouver, Canada},
}