Article citationsMore>>

Beer, A., Georgiev, T., Leitner-Fischer, F. and Leue, S. (2013) Model-Based Quantitative Safety Analysis of Matlab Simulink/Stateow Models. Tagungsband des Dagstuhl-Workshops, Dagstuhl, 24-26 April 2013.

has been cited by the following article: