Specification-centered robustness (bibtex)
by Roderick Paul Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann
Reference:
Specification-centered robustnessRoderick Paul Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara JobstmannSymposium on Industrial Embedded Systems (IEEE, ed.), pages 176 - 185, 2011.
Bibtex Entry:
@inproceedings{Bloem11,
title = {Specification-centered robustness},
booktitle = {Symposium on Industrial Embedded Systems},
author = {Roderick Paul Bloem and Krishnendu Chatterjee and Karin Greimel and
Thomas A. Henzinger and Barbara Jobstmann},
editor = {IEEE},
year = {2011},
pages = {176 - 185},
}
Powered by bibtexbrowser