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

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"
}
Document Actions
« February 2018 »
February
MoTuWeThFrSaSu
1234
567891011
12131415161718
19202122232425
262728