@misc{indiciaec2659802e413,
  title = {Introduction of Virtualization Technology to Multi-Process Model Checking},
  author = {Leungwattanakit, Watcharin and Artho, Cyrille and Hagiya, Masami and Tanabe, Yoshinori and Yamamoto, Mitsuharu},
  year = {2009},
  url = {https://ntrs.nasa.gov/citations/20100024478},
  note = {Source identifier: 20100024478}
}