Tariq M. King, Andrew A. Allen, Rodolfo Cruz, Peter J. Clarke. Safe Runtime Validation of Behavioral Adaptations in Autonomic Software. In Jose M. Alcaraz Calero, Laurence Tianruo Yang, Félix Gómez Mármol, Luis Javier García-Villalba, Andy Xiaolin Li, Yan Wang 0002, editors, Autonomic and Trusted Computing - 8th International Conference, ATC 2011, Banff, Canada, September 2-4, 2011. Proceedings. Volume 6906 of Lecture Notes in Computer Science, pages 31-46, Springer, 2011. [doi]
@inproceedings{KingACC11,
title = {Safe Runtime Validation of Behavioral Adaptations in Autonomic Software},
author = {Tariq M. King and Andrew A. Allen and Rodolfo Cruz and Peter J. Clarke},
year = {2011},
doi = {10.1007/978-3-642-23496-5_3},
url = {http://dx.doi.org/10.1007/978-3-642-23496-5_3},
researchr = {https://researchr.org/publication/KingACC11},
cites = {0},
citedby = {0},
pages = {31-46},
booktitle = {Autonomic and Trusted Computing - 8th International Conference, ATC 2011, Banff, Canada, September 2-4, 2011. Proceedings},
editor = {Jose M. Alcaraz Calero and Laurence Tianruo Yang and Félix Gómez Mármol and Luis Javier García-Villalba and Andy Xiaolin Li and Yan Wang 0002},
volume = {6906},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-23495-8},
}