%0 Generic
%T Formal Aspects of Component Software: Model Checking Adaptive Multilevel Service Compositions
%A Rossi, Sabina
%I Springer Berlin Heidelberg
%@ 0302-9743
%@ 1611-3349
%D 2012
%C Springer Berlin Heidelberg
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation