@inproceedings{she:hal-01480185,
  TITLE = {{UVHM: Model Checking Based Formal Analysis Scheme for Hypervisors}},
  AUTHOR = {She, Yuchao and Li, Hui and Zhu, Hui},
  URL = {https://inria.hal.science/hal-01480185},
  NOTE = {Part 2: Asian Conference on Availability, Reliability and Security (AsiaARES)},
  BOOKTITLE = {{1st International Conference on Information and Communication Technology (ICT-EurAsia)}},
  ADDRESS = {Yogyakarta, Indonesia},
  EDITOR = {David Hutchison and Takeo Kanade and Madhu Sudan and Demetri Terzopoulos and Doug Tygar and Moshe Y. Vardi and Gerhard Weikum and Khabib Mustofa and Erich J. Neuhold and A Min Tjoa and Edgar Weippl and Ilsun You and Josef Kittler and Jon M. Kleinberg and Friedemann Mattern and John C. Mitchell and Moni Naor and Oscar Nierstrasz and C. Pandu Rangan and Bernhard Steffen},
  PUBLISHER = {{Springer}},
  SERIES = {Information and Communicatiaon Technology},
  VOLUME = {LNCS-7804},
  PAGES = {300-305},
  YEAR = {2013},
  MONTH = Mar,
  DOI = {10.1007/978-3-642-36818-9\_31},
  KEYWORDS = {hypervisor ; security ; model checking ; formal analysis},
  PDF = {https://inria.hal.science/hal-01480185/file/978-3-642-36818-9_31_Chapter.pdf},
  HAL_ID = {hal-01480185},
  HAL_VERSION = {v1},
}