KVA99.bib
KVA99.bib
—
Bibtex bibliographic data,
328 bytes
File contents
@InProceedings{KVA99,
author={M.~Kim and M.~Viswanathan and H.~B.~Abdallah and S.~Kannan and I.~Lee and O.~Sokolsky},
title="Formally Specified Monitoring of Temporal Properties",
booktitle="European Conference on Real-Time Systems (ECRTS)",
pages="114--122",
year=1999,
month="June 9-11",
address="York, UK"
}
