BibTeX record conf/icics/QianHS13

• > Home > conf/icics/QianHS13

@inproceedings{DBLP:conf/icics/QianHS13,
  author       = {Zhenjiang Qian and
                  Hao Huang and
                  Fangmin Song},
  editor       = {Sihan Qing and
                  Jianying Zhou and
                  Dongmei Liu},
  title        = {{VTOS:} Research on Methodology of "Light-Weight" Formal Design and
                  Verification for Microkernel {OS}},
  booktitle    = {Information and Communications Security - 15th International Conference,
                  {ICICS} 2013, Beijing, China, November 20-22, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8233},
  pages        = {17--32},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-02726-5\_2},
  doi          = {10.1007/978-3-319-02726-5\_2},
  timestamp    = {Thu, 31 Oct 2019 17:50:34 +0100},
  biburl       = {https://dblp.org/rec/conf/icics/QianHS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}