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

KiKa05.bib

KiKa05.bib — Bibtex bibliographic data, 337 bytes

File contents

@InProceedings{KiKa05,
	author={M.~Kim and K.~C.~Kang},
	title="Formal Construction and Verification of Home Service Robots: A Case Study",
	booktitle="Automated Technology for Verification and Analysis (ATVA)", 
	series={LNCS},
	volume={3707},
	pages="429--443",
	year=2005,
	month="October 4-7",
	address="Taiwan, Taipei"
}
Document Actions
« November 2017 »
November
MoTuWeThFrSaSu
12345
6789101112
13141516171819
20212223242526
27282930