Personal tools
You are here: Home Publications bibtex CCK08.bib

CCK08.bib

CCK08.bib — Bibtex bibliographic data, 483 bytes

File contents

@proceedings{CCK08,
  editor    = {S.~D.~Cha and J.-Y.~Choi and M.~Kim and I.~Lee and M.~Viswanathan},
  title     = {Automated Technology for Verification and Analysis, 6th
               International Symposium, ATVA 2008, Seoul, Korea, October
               20-23, 2008. Proceedings},
  booktitle = {ATVA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5311},
  year      = {2008},
  isbn      = {978-3-540-88386-9},
}

Document Actions