h1

h2

h3

h4

h5
h6
%0 Conference Paper
%A Kühn, Jan
%A Schoonbrood, Pierre
%A Stollenwerk, André
%A Brendle, Christian
%A Wardeh, Markus Nabil
%A Walter, Marian
%A Roissant, Rolf
%A Leonhardt, Steffen
%A Kowalewski, Stefan
%A Kopp, Rüdger
%T Safety Conflict Analysis in Medical Cyber-Physical Systems Using an SMT-Solver
%V 1337
%C Aachen, Germany
%I RWTH Aachen
%M RWTH-2015-01765
%B CEUR workshop proceedings
%P 19-23
%D 2015
%< SE-WS 2015, software engineering workshops 2015 : gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, Dresden, 17. - 18. März 2015 / hrsg. von Wolg Zimmermann ...
%B Software Engineering 2015
%C 17 Mar 2015 - 18 Mar 2015, Dresden (Germany)
Y2 17 Mar 2015 - 18 Mar 2015
M2 Dresden, Germany
%F PUB:(DE-HGF)7 ; PUB:(DE-HGF)8
%9 Contribution to a bookContribution to a conference proceedings
%U https://publications.rwth-aachen.de/record/465535