BibTeX record conf/fgit/ChoiCJYLK11

download as .bib file

@inproceedings{DBLP:conf/fgit/ChoiCJYLK11,
  author       = {Han Choi and
                  Sung Deok Cha and
                  Jae Yeon Jo and
                  Junbeom Yoo and
                  Hae Young Lee and
                  Wontae Kim},
  editor       = {Tai{-}Hoon Kim and
                  Hojjat Adeli and
                  Adrian Stoica and
                  Byeong Ho Kang},
  title        = {Formal Verification of DEV{\&}DESS Formalism Using Symbolic Model
                  Checker HyTech},
  booktitle    = {Control and Automation, and Energy System Engineering - International
                  Conferences, {CA} and {CES3} 2011, Held as Part of the Future Generation
                  Information Technology Conference, {FGIT} 2011, in Conjunction with
                  {GDC} 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings},
  series       = {Communications in Computer and Information Science},
  volume       = {256},
  pages        = {112--121},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-26010-0\_13},
  doi          = {10.1007/978-3-642-26010-0\_13},
  timestamp    = {Wed, 06 Mar 2024 13:34:10 +0100},
  biburl       = {https://dblp.org/rec/conf/fgit/ChoiCJYLK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics