Aida Čaušević, C. Seceleanu, P. Pettersson 5 2010. Formal reasoning of resource-aware services Preuzmi PDF Computer Science + 1
