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