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

EsKi07.bib

EsKi07.bib — Bibtex bibliographic data, 366 bytes

File contents

@article{EsKi07,
	author = {J.~Esposito and M.~Kim},
	title = "Using Formal Modeling with an Automated Analysis Tool to Design and Parametrically Analyze a Multi-robot Coordination Protocol: a case study",
	journal = "IEEE Transactions on Systems, Man, and Cybernetics (SMC) Part A",
	volume=37,
	number=3,
	pages="285--297", 
	year="2007",
	month="May"
}
Document Actions
« November 2017 »
November
MoTuWeThFrSaSu
12345
6789101112
13141516171819
20212223242526
27282930