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
« October 2019 »
October
MoTuWeThFrSaSu
123456
78910111213
14151617181920
21222324252627
28293031