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
« February 2018 »
February
MoTuWeThFrSaSu
1234
567891011
12131415161718
19202122232425
262728