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

LKK99.bib

LKK99.bib — Bibtex bibliographic data, 369 bytes

File contents

@InProceedings{LKK99,
	author={I.~Lee and S.~Kannan and M.~Kim and O.~Sokolsky and M.~Viswanathan},
	title="Runtime Assurance Based On Formal Specifications",
	booktitle="Parallel and Distributed Processing Techniques and Applications (PDPTA)", 
	pages="279--287",
	year=1999,
	month="June 28 - July 1",
	address="Monte Carlo Resort, Las Vegas, Nevada, USA"
}
Document Actions
« November 2017 »
November
MoTuWeThFrSaSu
12345
6789101112
13141516171819
20212223242526
27282930