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

ChKi.bib

ChKi.bib — Bibtex bibliographic data, 248 bytes

File contents

@article{ChKi,
	author = {Y.~Choi and M.~Kim},
	title = "Controlled Composition and Abstraction for Bottom-up Integration and Verification of Abstract Components",
	journal = "Information and Software Technology (IST)",
	note = {To appear}
}
Document Actions
« November 2017 »
November
MoTuWeThFrSaSu
12345
6789101112
13141516171819
20212223242526
27282930