%0 Journal Article %1 journals/fmsd/ChatterjeeAFMR13 %A Chatterjee, Krishnendu %A de Alfaro, Luca %A Faella, Marco %A Majumdar, Rupak %A Raman, Vishwanath %D 2013 %J Formal Methods Syst. Des. %K dblp %N 2 %P 146-174 %T Code aware resource management. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd42.html#ChatterjeeAFMR13 %V 42

@article{journals/fmsd/ChatterjeeAFMR13, added-at = {2020-03-13T00:00:00.000+0100}, author = {Chatterjee, Krishnendu and de Alfaro, Luca and Faella, Marco and Majumdar, Rupak and Raman, Vishwanath}, biburl = {https://www.bibsonomy.org/bibtex/21294a3e0183305c737956660181efb00/dblp}, ee = {https://doi.org/10.1007/s10703-012-0170-4}, interhash = {af7ac40421a29af0c096850ae0a739bb}, intrahash = {1294a3e0183305c737956660181efb00}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 2, pages = {146-174}, timestamp = {2020-03-14T11:51:31.000+0100}, title = {Code aware resource management.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd42.html#ChatterjeeAFMR13}, volume = 42, year = 2013 }