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

KKL02.bib

KKL02.bib — Bibtex bibliographic data, 364 bytes

File contents

@InProceedings{KKL02,
	author={M.~Kim and S.~Kannan and I.~Lee and O.~Sokolsky and M.~Viswanathan},
	title="Computational Analysis of Run-time Monitoring - Fundamentals of {J}ava-{MaC}",
	booktitle="Runtime Verification (RV)", 
	series={ENTCS},
	volume={70},
	number={4},
	pages="80--94",
	year=2002,
	month="July 26",
	address="Copenhagen, Denmark"
}
Document Actions
« November 2017 »
November
MoTuWeThFrSaSu
12345
6789101112
13141516171819
20212223242526
27282930