BibTeX record conf/euc/KimLYH06

download as .bib file

@inproceedings{DBLP:conf/euc/KimLYH06,
  author       = {Kang Chul Kim and
                  Chang{-}Gyoon Lim and
                  Jae Hung Yoo and
                  Seok Bung Han},
  editor       = {Edwin Hsing{-}Mean Sha and
                  Sung{-}Kook Han and
                  Cheng{-}Zhong Xu and
                  Moon{-}hae Kim and
                  Laurence Tianruo Yang and
                  Bin Xiao},
  title        = {Simulation Cost Reduction Strategies for Behavioral Model Verification
                  in Bayesian Based Stopping Rule},
  booktitle    = {Embedded and Ubiquitous Computing, International Conference, {EUC}
                  2006, Seoul, Korea, August 1-4, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4096},
  pages        = {692--701},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11802167\_70},
  doi          = {10.1007/11802167\_70},
  timestamp    = {Tue, 14 May 2019 10:00:47 +0200},
  biburl       = {https://dblp.org/rec/conf/euc/KimLYH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics