TY  - RPRT
TI  - Introduction of Virtualization Technology to Multi-Process Model Checking
AU  - Leungwattanakit, Watcharin
AU  - Artho, Cyrille
AU  - Hagiya, Masami
AU  - Tanabe, Yoshinori
AU  - Yamamoto, Mitsuharu
PY  - 2009
UR  - https://ntrs.nasa.gov/citations/20100024478
ID  - 20100024478
ER  -