ViKi04.bib
ViKi04.bib
—
Bibtex bibliographic data,
377 bytes
File contents
@InProceedings{ViKi04,
author={M.~Viswanathan and M.~Kim},
title="Foundations for the Run-time Monitoring of Reactive Systems: Fundamentals of the {MaC} Language",
booktitle="International Conference on Theoretical Aspects of Computing (ICTAC)",
series={LNCS},
volume={3407},
pages="543--556",
year=2004,
month="September 20-24",
address="Guiyang, China"
}
