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"
}
