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
« November 2017 »
November
MoTuWeThFrSaSu
12345
6789101112
13141516171819
20212223242526
27282930