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
« February 2018 »
February
MoTuWeThFrSaSu
1234
567891011
12131415161718
19202122232425
262728