%0 Generic
%T Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action Systems
%A Howar, Falk
%A Isberner, Malte
%A Merten, Maik
%A Steffen, Bernhard
%A Beyer, Dirk
%I Springer Berlin Heidelberg
%@ 0302-9743
%@ 1611-3349
%D 2012
%C Springer Berlin Heidelberg
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation