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
« September 2017 »
September
MoTuWeThFrSaSu
123
45678910
11121314151617
18192021222324
252627282930