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
« September 2017 »
September
MoTuWeThFrSaSu
123
45678910
11121314151617
18192021222324
252627282930