KiKi11b.bib
KiKi11b.bib
—
Bibtex bibliographic data,
287 bytes
File contents
@InProceedings{KiKi11b,
author={M.~Kim and Y.~Kim},
title="Automated Analysis of Industrial Embedded Software",
booktitle="Automated Technology for Verification and Analysis (ATVA)",
note = {To appear},
year=2011,
month="October 11-14",
address="Taipei, Taiwan"
}
