BibTeX record journals/jise/Choi07

download as .bib file

@article{DBLP:journals/jise/Choi07,
  author       = {Jongmoo Choi},
  title        = {Kernel Aware Module Verification for Robust Reconfigurable Operating
                  System},
  journal      = {J. Inf. Sci. Eng.},
  volume       = {23},
  number       = {5},
  pages        = {1339--1347},
  year         = {2007},
  url          = {http://www.iis.sinica.edu.tw/page/jise/2007/200709\_02.html},
  timestamp    = {Fri, 16 Jul 2021 19:28:05 +0200},
  biburl       = {https://dblp.org/rec/journals/jise/Choi07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics