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

AEK99.bib

AEK99.bib — Bibtex bibliographic data, 373 bytes

File contents

@InProceedings{AEK99,
	author={R.~Alur and J.~Esposito and M.~Kim and V.~Kumar and I.~Lee},
	title="Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination",
	booktitle="World Congress On Formal Methods (FM)", 
	series={LNCS},
	volume={1708},
	pages="212-232",
	year=1999,
	month="September 20-24",
	address="Toulouse, France"
}
Document Actions