KLS02.bib
KLS02.bib
—
Bibtex bibliographic data,
338 bytes
File contents
@InProceedings{KLS02,
author={M.~Kim and I.~Lee and U.~Sammapun and J.~Shin and O.~Sokolsky},
title="Monitoring, Checking, and Steering of Real-time Systems",
booktitle="Runtime Verification (RV)",
series={ENTCS},
volume={70},
number={4},
pages="95--111",
year=2002,
month="July 26",
address="Copenhagen, Denmark"
}
