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
« October 2019 »
October
MoTuWeThFrSaSu
123456
78910111213
14151617181920
21222324252627
28293031