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"
}
