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
« September 2017 »
September
MoTuWeThFrSaSu
123
45678910
11121314151617
18192021222324
252627282930