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
« September 2017 »
September
MoTuWeThFrSaSu
123
45678910
11121314151617
18192021222324
252627282930