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