Personal tools
You are here: Home Publications bibtex ViKi04.bib

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