%0
Generic
%T
Formal Methods for Eternal Networked Software Systems: Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language
%A Clarke, Dave
%A Diakov, Nikolay
%A Hähnle, Reiner
%A Johnsen, Einar Broch
%A Schaefer, Ina
%A Schäfer, Jan
%A Schlatte, Rudolf
%A Wong, Peter Y. H.
%I Springer Berlin Heidelberg
%@ 0302-9743
%@ 1611-3349
%D 2011
%C Springer Berlin Heidelberg
%U http://slubdd.de/katalog?TN_libero_mab2