Grimm, Tomás
[VerfasserIn]
;
Hübner, Michael
[Sonstige Person, Familie und Körperschaft];
Blume, Holger
[Sonstige Person, Familie und Körperschaft]Fakultät für Elektrotechnik und Informationstechnik
A hybrid methodology to enable the verification of temporal properties as system-level