BibTeX record conf/fgit/KangJ11

• > Home > conf/fgit/KangJ11

@inproceedings{DBLP:conf/fgit/KangJ11,
  author       = {Mun{-}Hye Kang and
                  Yong{-}Kee Jun},
  editor       = {Tai{-}Hoon Kim and
                  Hojjat Adeli and
                  Haeng{-}Kon Kim and
                  Heau{-}Jo Kang and
                  Kyung Jung Kim and
                  Kiumi Akingbehin and
                  Byeong Ho Kang},
  title        = {Efficient Verification of First Tangled Races to Occur in Programs
                  with Nested Parallelism},
  booktitle    = {Software Engineering, Business Continuity, and Education - International
                  Conferences ASEA, {DRBC} and {EL} 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       = {257},
  pages        = {451--460},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-27207-3\_49},
  doi          = {10.1007/978-3-642-27207-3\_49},
  timestamp    = {Mon, 04 Nov 2019 12:36:13 +0100},
  biburl       = {https://dblp.org/rec/conf/fgit/KangJ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}