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

KVA99.bib

KVA99.bib — Bibtex bibliographic data, 328 bytes

File contents

@InProceedings{KVA99,
	author={M.~Kim and M.~Viswanathan and H.~B.~Abdallah and S.~Kannan and I.~Lee and O.~Sokolsky},
	title="Formally Specified Monitoring of Temporal Properties",
	booktitle="European Conference on Real-Time Systems (ECRTS)", 
	pages="114--122",
	year=1999,
	month="June 9-11",
	address="York, UK"
}
Document Actions
« November 2017 »
November
MoTuWeThFrSaSu
12345
6789101112
13141516171819
20212223242526
27282930