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"
}
