KKL02.bib
KKL02.bib
—
Bibtex bibliographic data,
364 bytes
File contents
@InProceedings{KKL02,
author={M.~Kim and S.~Kannan and I.~Lee and O.~Sokolsky and M.~Viswanathan},
title="Computational Analysis of Run-time Monitoring - Fundamentals of {J}ava-{MaC}",
booktitle="Runtime Verification (RV)",
series={ENTCS},
volume={70},
number={4},
pages="80--94",
year=2002,
month="July 26",
address="Copenhagen, Denmark"
}
