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

KKL00.bib

KKL00.bib — Bibtex bibliographic data, 358 bytes

File contents

@InProceedings{KKL00,
	author={S.~Kannan and M.~Kim and I.~Lee and O.~Sokolsky and M.~Viswanathan},
	title="Run-time monitoring and steering based on formal specifications",
	booktitle="Modeling Software System Structures in a Fastly Moving Scenario", 
	pages={167--177},
	year=2000,
	month="July 13-16",
	address="Santa Margherita Ligure, Italy"
}
Document Actions
« February 2018 »
February
MoTuWeThFrSaSu
1234
567891011
12131415161718
19202122232425
262728