%0 Journal Article
%T Formally Specified Dynamic Composition of Services in Pervasive Environments
%A Antonio Coronato
%J Lecture Notes in Engineering and Computer Science
%D 2012
%I Newswood and International Association of Engineers
%U http://www.iaeng.org/publication/IMECS2012/IMECS2012_pp200-203.pdf