@inproceedings{LeungwattanakitAHTY09a,
  author    = {W. Leungwattanakit and C. Artho and M. Hagiya and Y. Tanabe and
               M. Yamamoto},
  title     = {Introduction of Virtualization Technology to Multi-Process Model Checking},
  booktitle = {NASA Formal Methods Symposium 2009},
  year      = {2009},
  pages     = {106--110},
  address   = {Moffett Field, USA},
}