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

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



Document Actions
« November 2017 »
November
MoTuWeThFrSaSu
12345
6789101112
13141516171819
20212223242526
27282930