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

KKC12.bib

KKC12.bib — Bibtex bibliographic data, 275 bytes

File contents

@article{KKC12,
	author = {M.~Kim and Y.~Kim and Y.~Choi},
	title = "Concolic Testing of the Multi-sector Read Operation for Flash Storage Platform Software",
	journal = "Formal Aspects of Computing (FACJ)",
	note = {To appear}
	volume=24,
	number=2,
	year="2012"
}
Document Actions
« November 2017 »
November
MoTuWeThFrSaSu
12345
6789101112
13141516171819
20212223242526
27282930