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},
}
