Code Aware Resource Management (bibtex)
by Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Rupak Majumdar, Vishwanath Raman
Reference:
Code Aware Resource ManagementKrishnendu Chatterjee, Luca de Alfaro, Marco Faella, Rupak Majumdar, Vishwanath RamanFormal Methods in Computer Science, 2012.
Bibtex Entry:
@article{CdAFMR12,
title = {Code Aware Resource Management},
url = {/pubpdf/code_aware_resource_management.pdf},
journal = {Formal Methods in Computer Science},
author = {Krishnendu Chatterjee and Luca de Alfaro and Marco Faella and Rupak
Majumdar and Vishwanath Raman},
year = {2012},
}
Powered by bibtexbrowser