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