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

KKL01.bib

KKL01.bib — Bibtex bibliographic data, 314 bytes

File contents

@InProceedings{KKL01,
	author={M.~Kim and S.~Kannan and I.~Lee and O.~Sokolsky and M.~Viswanathan},
	title="{J}ava-{MaC}: a Run-time Assurance Tool for Java Programs",
	booktitle="Runtime Verification (RV) (ENTCS vol 55 no 2)", 
	pages="218--235",
	year=2001,
	month="July 23",
	address="Paris, France"
}
Document Actions
« November 2017 »
November
MoTuWeThFrSaSu
12345
6789101112
13141516171819
20212223242526
27282930