Code aware resource management / Krishnendu, C., Luca de, A., Faella, M., Rupak, M., Vishwanath, R.. - In: FORMAL METHODS IN SYSTEM DESIGN. - ISSN 0925-9856. - 42:2(2013), pp. 146-174. [10.1007/s10703-012-0170-4]
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.


