Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini. Resource Usage Analysis and Its Application to Resource Certification. In Alessandro Aldini, Gilles Barthe, Roberto Gorrieri, editors, Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures. Volume 5705 of Lecture Notes in Computer Science, pages 258-288, Springer, 2009. [doi]
@inproceedings{AlbertAGPZ09,
title = {Resource Usage Analysis and Its Application to Resource Certification},
author = {Elvira Albert and Puri Arenas and Samir Genaim and Germán Puebla and Damiano Zanardini},
year = {2009},
doi = {10.1007/978-3-642-03829-7_9},
url = {http://dx.doi.org/10.1007/978-3-642-03829-7_9},
tags = {analysis, certification},
researchr = {https://researchr.org/publication/AlbertAGPZ09},
cites = {0},
citedby = {0},
pages = {258-288},
booktitle = {Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures},
editor = {Alessandro Aldini and Gilles Barthe and Roberto Gorrieri},
volume = {5705},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-03828-0},
}