Beer, Adrian
[VerfasserIn];
Heidinger, Stephan
[VerfasserIn];
Kühne, Uwe
[VerfasserIn]
;
Leitner-Fischer, Florian
[Sonstige Person, Familie und Körperschaft];
Leue, Stefan
[Sonstige Person, Familie und Körperschaft]
Symbolic Causality Checking Using Bounded Model Checking